Production instrumentation for Praefect

We need to add metrics to Praefect for production monitoring:

• proxy time (total time a request spends in praefect)
• replication queue size