Allow resetting metrics via MetricsServlet using HTTP DELETE.

Closes #449