feat: aggregated proofs explorer views

[MarcosNicolau]

Description

• Adds new page for aggregated proof
• Adds a new component in the home page to see the latest aggregated proofs

How to run

Starting from #1846, run:

1. Build explorer db: make explorer_build_db
2. Run explorer db: make explorer_run_db
3. Run db migrations: make explorer_ecto_setup_db
4. Run explorer: make run_explorer

Type of change

Please delete options that are not relevant.

• New feature

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 batcher/docs/examples
  • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible

[JuArce]

Just some comments:

• The search bar only works for the fast mode