Support for o4-mini Model in RepairAgent

[ramsey-coding]

We would like to use the o4-mini model from OpenAI with RepairAgent. However, it seems that o4-mini is currently not supported.

Could you please clarify:

• Are there known limitations or compatibility issues with integrating o4-mini?

Any guidance or a pointer on how to extend RepairAgent to use o4-mini would be much appreciated.