add mirroring+sync monitoring

[vladak]

Once is done #3245 it should provide a framework for adding metrics to opengrok-mirror et al. Python should have a statsd integration module.

[vladak]

Another alternative would be to add support for message bus like MQTT so they can be e.g. turned into Grafana annotations.