add option to provide MetricFilter to MetricsServlet
foo
Merge pull request #472 from whoschek/adminservlet-filter

add option to provide MetricFilter to MetricsServlet