Allow Population Counter to distinguish beaver workers from bot workers

I’d like to be able to set a Population Counter to count the number of unemployed beavers or the number of unemployed bots.

I think this would be best done by adding a separate option to filter to bots or to beavers, rather than making the current single list of metrics longer.