feat(Prover CLI): requeue cmd

[ilitteri]

What ❔

Adds a requeue command that requeues a given batch if it's stuck. It looks at all jobs that are stuck and requeues them. A job is stuck if it has a large number of attempts and is not successful.

For now, the attempts are set via a cmd flag (--max-attempts) which if not set, is 10 by default.

Usage Example

cd prover/prover_cli
zk f cargo run --release requeue --batch 1

Why ❔

We want to be able to requeue a stuck batch with the CLI.

Checklist

• PR title corresponds to the body of PR (we generate changelog entries from PRs).
• Tests for the changes have been added / updated.
• Documentation comments have been added / updated.
• Code has been formatted via zk fmt and zk lint.
• Spellcheck has been run via zk spellcheck.
• Linkcheck has been run via zk linkcheck.

[ilitteri]

@EmilLuta we can discuss this during the daily, but I think I'm missing a --batch flag to avoid requeuing multiple batches jobs. Also, I'm not sure if this is the same as the restart cmd

[EmilLuta]

So far, so good. As we chatted during daily, let's incorporate changes for the requeuer.

[ilitteri]

I think the spellcheck error is not related to this PR:

error: spellcheck(Hunspell)
   --> /Users/ivanlitteri/Repositories/matter-labs/zksync-era/core/node/node_framework/src/service/runnables.rs:31
    |
 31 | ..rns a reference to created vec to satisfy the `.field` me..
    |                              ^^^
    | - Vec, vex, vecs, sec, vac, rec, vet, or one of 4 others
    |
    |   Possible spelling mistake found.

Error occurred during spell checking: Child process exited with code 1

[EmilLuta]

LGTM. Left a bunch of nits.