Adjust available Benchmarks and Executions to match new CRDs

With the latest merge requests, the CRDs for benchmarks and executions has changed.

We need to update:

1. The benchmarks at theodolite-benchmarks/definitions
2. The examples at theodolite/examples