Logging, runtime tracing, and the obs performance profiler for OCaml