Add juvix dev anoma prove

[paulcadman]

Add juvix dev anoma prove

This is similar to juvix dev nockma run.

The difference is that the managed client is used and it outputs the result as a jammed file.

CLI docs

The prove command submits a Nockma program to the Anoma.Protobuf.NockService.Prove gRPC endpoint.

By default, the gRPC request is made to the client that is started by juvix dev anoma start.
Use the -c/--config option to use a different Anoma client.
The config file format is:

url: <ANOMA_CLIENT_URL>
port: <ANOMA_CLIENT_GRPC_PORT>

The gRPC response (a Nockma program) is saved to a file named <input>.proved.nockma, where <input> is the base name of the input file.
Use the -o/--output option to specify a custom output filename.

If the program generates traces, they will be written to standard output.

Usage: juvix dev anoma prove NOCKMA_FILE [--args ARGS_FILE]
                             [-c|--config CONFIG_FILE] [-o|--output OUTPUT_FILE]

  Submit a Nockma program to Anoma.Protobuf.NockService.Prove

Available options:
  NOCKMA_FILE              Path to a .nockma file
  --args ARGS_FILE         Path to a file containing args. The args file should
                           contain a list (i.e. to pass 2 and [1 4] as args, the
                           contents should be [2 [1 4] 0]).
  -c,--config CONFIG_FILE  A path to an Anoma client configuration file
  -o,--output OUTPUT_FILE  Path to output file
  -h,--help                Show this help text