Remote block and batch provers

[SantiagoPittella]

With the RemoteBatchProver and RemoteBlockProver in place in miden-base, available through the miden-proving-service-client crate, we can start making use of it.

For a first iteration, having support of both provers (local and remote) is OK, but in the future it should be only remote proving.

In the future, having only remote proving, we should be able to run proving workers as a library and ensure that we do not depend on an external component. We need to consider adding some sort of snapshots to mimic a real prover for testing purposes. Further discussion about it can be found in this comment.

To consider this task as complete, we should have implemented:

• An option to use a remote batch prover.
• An option to use a remote block prover.