Considering use `sp1-gpu` crate directly instead of using docker

[han0110]

Currently SP1 GPU prover is using a pre-built docker image by Succinct, but sp1-gpu source code is opensourced already, so we can use the crate directly to do the GPU proving.

[jsign]

Something to be cautious about is that sp1-gpu has a BSL license, which has some fine prints.

I'm not a licensing expert, but maybe we should double-check what the implications of adding it as a direct dependency that is compiled.