OpenMetrics implementation

Stefano Riverarequested to merge
metrics into devel

Fixes: #888 (closed)

Includes a couple of tweaks to the specification (mistakes from the migration from workspaces to scopes)

Merge request reports