add metrics: repl_call_count, repl_total_time_seconds, repl_mean_time…

[snimu]

Description

Adds the following metrics to the RLM's state:

• repl_call_count
• repl_total_time_seconds
• repl_mean_time_seconds

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Test improvement

Testing

• All existing tests pass when running uv run pytest locally.
• New tests have been added to cover the changes

Checklist

• My code follows the style guidelines of this project as outlined in AGENTS.md
• I have performed a self-review of my own code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• My changes generate no new warnings
• Any dependent changes have been merged and published

Additional Notes

---

Note

Adds aggregate REPL timing metrics to the RLM state.

• In rlm_env.py cleanup_rlm_state, compute and persist repl_total_time_seconds, repl_call_count, and repl_mean_time_seconds from tool_call_timings
• No changes to REPL execution flow; metrics are derived during cleanup alongside existing token and sub-LLM stats

^{Written by Cursor Bugbot for commit 4b796c3. This will update automatically on new commits. Configure here.}