In order to better analyze Skara bot performance, I need more metrics. Specifically the skara_runner_*_time gauges are pretty useless in their current form. They would be much more useful as counters so we could look at the total execution time for workitems for a specific bot instead of randomly picked single executions of the same.