Support the open metrics format so that benchmarks can be shown on CI/CD

[CMCDragonkai]

Gitlab supports showing metrics reports: https://docs.gitlab.com/ee/ci/metrics_reports.html#metrics-reports.

This could be pretty useful if benny could output the metrics report.