Transaction prover service CLI

[SantiagoPittella]

Feature description

A CLI for the transaction prover that is in charge of starting the proxy, creating workers on-demand and configuration of both services.

Some command examples can be (extracted from @bobbinth comment):

# start the coordinator
miden-tx-prover start

# start a worker
miden-tx-prover start worker

Also, it should be capable of gracefully restart the proxy to apply new configurations. More info about this in: https://github.com/cloudflare/pingora/blob/main/docs/user_guide/graceful.md

Why is this feature needed?

This feature is needed because with the current design everything need to be configured manually and it 's error prone.

[SantiagoPittella]

This issue and #944 are related and might be implemented in the same PR.