feat(aggregation-mode): turn program IDs into a mapping

[maximopalopoli]

Description

This PR turns the fixed program IDs for Risc0 and SP1 to be part of a map (program ID -> proving system ID), to make the system more scalable (because it's easier to add new program IDs) and retrocompatible (because this program ID - proving system is not unique anymore, and when we update the program ID now we can also handle the previous programs).

How it works

Follow the steps in the l2 example README.

Type of change

Please delete options that are not relevant.

• [ ] New feature
• [ ] Bug fix
• [ ] Optimization
• [ ] Refactor

Checklist

• [ ] “Hotfix” to testnet, everything else to staging
• [ ] Linked to Github Issue
• [ ] This change depends on code or research by an external entity
  • [ ] Acknowledgements were updated to give credit
• [ ] Unit tests added
• [ ] This change requires new documentation.
  • [ ] Documentation has been added/updated.
• [ ] This change is an Optimization
  • [ ] Benchmarks added/run
• [ ] Has a known issue
  • Link to the open issue addressing it
• [ ] If your PR changes the Operator compatibility (Ex: Upgrade prover versions)
  • [ ] This PR adds compatibility for operator for both versions and do not change crates/docs/examples
  • [ ] This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible