Ensure metrics are following Prometheus best practices

[mimaison]

Prometheus has a few recommendations regarding the name of metrics depending on their type. See

• https://prometheus.io/docs/concepts/metric_types/
• https://prometheus.io/docs/tutorials/understanding_metric_types/
• https://prometheus.io/docs/practices/naming/

We should follow these guidelines.