Output monitoring metrics

[mastbaum]

Add the ability for the monitor to output metrics, e.g., sending to either eos-monitor or directly to Redis, for easier monitoring of the builder status.