fix(nargo): prevent -p arg clash

[joss-aztec]

Description

Problem*

The introduction on --prover-name causes nargo execute to crash because the argument's short form clashes with --print-acirs's.

Summary*

Prevent the clash, by removing the short form for --print-acir.

Example

Before:

The application panicked (crashed).
Message:  Command execute: Short option names must be unique for each argument, but '-p' is in use by both 'prover_name' and 'print_acir'
Location: /Users/aztec/.cargo/registry/src/git.luolix.top-1ecc6299db9ec823/clap_builder-4.3.0/src/builder/debug_asserts.rs:115

After:

(Now runs correctly)

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]

LGTM. We should add an integration test to ensure that this doesn't occur again in future.