O1 mini

[haesleinhuepf]

This PR contains:

• a new test-case for the benchmark
  • I hereby confirm that NO LLM-based technology (such as github copilot) was used while writing this benchmark
• new dependencies in requirements.txt
  • The environment.yml file was updated using the command conda env export > environment.yml
• new generator-functions allowing to sample from other LLMs
• new samples (sample_....jsonl files)
• new benchmarking results (..._results.jsonl files)
• documentation update
• bug fixes

Related github issue (if relevant): related to #135

Short description:

• I was benchmarking o1-mini-2024-09-12. Costs: $9.44

How do you think will this influence the benchmark results?

• The new model ranks third in our benchmark.

Why do you think it makes sense to merge this PR?

• o1-mini is the most recent model from OpenAI. The company claims it is good in coding. Our benchmark confirms this, while also showing that an older gpt4omni model scores a tiny bit higher. It's a nice independent measurement.