Also add a new ExoneraTorRedirectServlet that redirects to Tor
Metrics, and make it the default.

Implements #23549.