wire export-evm-proof and export-solidity into cli command tree

Author: rose2221

tooling/cli/src/cmd/mod.rs

@@ -1,5 +1,7 @@
 mod analyze_pkp;
 mod circuit_stats;
+mod export_evm_proof;
+mod export_solidity;
 mod generate_gnark_inputs;
 mod prepare;
 mod prove;
@@ -46,6 +48,8 @@ enum Commands {
     Verify(verify::Args),
     GenerateGnarkInputs(generate_gnark_inputs::Args),
     ShowInputs(show_inputs::Args),
+    ExportSolidity(export_solidity::Args),
+    ExportEvmProof(export_evm_proof::Args),
 }
 
 impl Command for Args {
@@ -64,6 +68,8 @@ impl Command for Commands {
             Self::Verify(args) => args.run(),
             Self::GenerateGnarkInputs(args) => args.run(),
             Self::ShowInputs(args) => args.run(),
+            Self::ExportSolidity(args) => args.run(),
+            Self::ExportEvmProof(args) => args.run(),
         }
     }
 }