Integrated: metrics: add Prometheus exporter

[Erik Helin]

On Wed, 12 May 2021 12:50:26 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that adds a Prometheus exporter to the `metrics` package. The Prometheus format for metrics can be seen [here](https://prometheus.io/docs/instrumenting/exposition_formats/#text-format-details). I also added a bunch of unit tests for the exporter.
> 
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: 9ecf6bd7
Author:    Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/9ecf6bd747518fe33c24909026397b9d20fdbb2c
Stats:     235 lines in 3 files changed: 233 ins; 0 del; 2 mod

metrics: add Prometheus exporter

Reviewed-by: erikj

-------------

PR: https://git.openjdk.java.net/skara/pull/1150