http-prover refactor

[chudkowsky]

Introduce New HTTP-Prover API

This PR introduces a new HTTP-based prover API and adds several key enhancements:

New Trace Generation Endpoint

• Supports two trace formats:
  • Traditional Trace: Includes trace file, memory file, private input, and public input.
  • PIE Format: Alternative format for trace generation.

Prover CLI Enhancements

• Replaces cairo-prove with a new Prover CLI.
• Extends functionality to:
  • Calculate Stone Prover configuration.
  • Send and retrieve both prove and run jobs.

Server-Side Improvements

• Refactored thread pool implementation:
  • Introduced a Task enum to improve flexibility.
• Modified cairo0 program representation:
  • Changed from Struct to Vec<u8> due to serialization/deserialization issues (to be investigated further).
• Added support for bootloaders.
• Included additional benchmarking information.

---