Send transaction to prover

[AminArria]

This PR adds a cli option --send-to-prover to enable sending proofs to SHARP through the cairo-sharp cli (you will need this installed)

One caveat of using cairo-sharp to send to SHARP is that it can only work with cairo programs, not contracts, so we need to give it a cairo program and it will compile, run, and send to the prover. All this is painfully slow, on my regular laptop takes at least 10 seconds for our simple fibonacci example.

Additionally we have 2 problems

1. The ABCI does not provide all transactions during end_block or commit so no way to pool them for sending
2. Invoking cairo-sharp will block the ABCI thread for it and thus block consensus work

To address this problems the ABCI thread on initialization spawns another thread that will do the following

1. Receive transactions from deliver_tx
2. Receive signal from commit to process transactions (send to prover)

[unbalancedparentheses]

@igamigo what is missing to merge this?>