migrate cli to extern crate

[juan518munoz]

CAIRO PROVER CLI

Description

Migration of cli functionallity to an external crate that uses clap4 for argument parsing and handling.

• Make the CLI it's own package, as to have the cairo-prover as a pure lib, and the cairo-prover-cli as a pure app.
• Migrate the CLI to Clap 4 (Include help functionality for commands)

Type of change

• Optimization

Checklist

• Linked to Github Issue
• This change requires new documentation.
  • Documentation has been added/updated.

[codecov-commenter]

Codecov Report

Merging #598 (581aa3b) into main (5a938e7) will increase coverage by 0.09%.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##             main     #598      +/-   ##
==========================================
+ Coverage   95.61%   95.71%   +0.09%     
==========================================
  Files         111      111              
  Lines       19318    19298      -20     
==========================================
  Hits        18471    18471              
+ Misses        847      827      -20     

Files	Coverage Δ
provers/cairo-prover-cli/src/main.rs	0.00% <0.00%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[entropidelic]

The PR looks good! nice work.
I have some questions/suggestions:

• Now that we use clap for the CLI, should we continue using the Makefile CLI? Maybe it is ok to have both, but the interface using clap directly seems nicer to me. In this case, me should add to the docs how to use it directly, without the need of make.
• Maybe not too relevant right now, but in the future as the number of arguments for the CLI grows, we may want to specify them with names (for example, for specifying the program --program <compiled_program>, etc). This way the intent is clearer and the order of the arguments doesn't matter, making it a little bit friendlier for the user.

cc @MauroToscano

[entropidelic]

Lets merge this now and update the readme with CLI usage instructions in another PR