feat(nargo): Allow user-specified file for prover inputs instead of Prover.toml

[exp-table]

Description

A short modification of nargo_cli to allow the user to specify which .toml file to use when generating a proof instead of being forced to use Prover.toml.

Problem*

The user had no choice but to use Prover.toml when generating a proof.
This is leading to race conditions when running forge tests (which run in parallel), in particular when these tests use on-the-fly proof generation.

Summary*

Allows the user to optionnally specify which .toml file to use with the -p or --prover-name flag.

This PR sets out to

Example

Before:

nargo prove p

After:

nargo prove -p OtherProver pp 

Documentation

• This PR requires documentation updates when merged.

  • I will submit a noir-lang/docs PR.
  • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[TomAFrench]

Working through a notification backlog today so will do a more thorough review later on.

[jfecher]

LGTM

[exp-table]

need te re-run failed action I believe

[exp-table]

LFG

[TomAFrench]

Thanks for this @exp-table!