void set(String metricName, Number value, Metric.Context context) {
        metric.set(metricName, value, context);
    }
Metrics for config server.

@author Harald Musum
configserver/src/main/java/com/yahoo/vespa/config/server/monitoring/Metrics.java