Introduce a benchmark runner for OCaml
Document benchmarks.