Monitor size of worker pools

Once we start using worker pools on Freexian instances, we'll want to graph their sizes. The workers metric emitted by debusine.server.open_metrics should already be good enough for this; we should add a graph of the number of workers in each pool over time, perhaps also breaking down by busy status and native architecture.