Use eigenSDK v0.1.13 for devnet

Description

This PR sets eigenSDK to v0.1.13 for devnet environment. It is needed because the EigenLayer contracts deployed in devnet are not compatible with v0.2.0.

Closes #1893

How to Test

Note: Make sure you have installed EigenLayer cli version 0.11.3. You can check this with

eigenlayer --version

If you have a different version, you can install it with:

install_eigenlayer_cli_devnet

You may need to remove the Eigenlayer CLI installed via go (rm /Users//go/bin/eigenlayer)

1. make anvil_start
2. make batcher_start_local
3. make aggregator_start ENVIRONMENT=devnet
4. make operator_full_registration CONFIG_FILE=config-files/config-operator-1.yaml ENVIRONMENT=devnet
5. make operator_start CONFIG_FILE=config-files/config-operator-1.yaml ENVIRONMENT=devnet
6. make batcher_send_risc0_burst

Type of change

• Bug fix

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