Switch to using Redis Sentinel for Prometheus metrics

[davidbyoung]

We cannot switch to Redis Sentinel until the PHP Prometheus library adds Sentinel support. Sentinel gives us automatic promotion to master in the case that the original master goes down, and reduces the maintenance overhead.