Re-integrate Alfresco Tomcat Servlet Metrics

[todorinskiz]

It will be beneficial to use the provided servlet metrics from Alfresco Content Services Enterprise.
To do that, we need to fix this: https://github.com/xenit-eu/alfred-telemetry/blob/master/alfred-telemetry-platform/docs/README.md#known-limitations

2019-05-02 15:08:21,829 WARN [app.servlet.ServletMetricsFilter] [localhost-startStop-1] Could not initialize the application server metrics reporter: io.micrometer.core.instrument.composite.CompositeMeterRegistry cannot be cast to io.micrometer.prometheus.PrometheusMeterRegistry java.lang.ClassCastException: io.micrometer.core.instrument.composite.CompositeMeterRegistry cannot be cast to io.micrometer.prometheus.PrometheusMeterRegistry at org.alfresco.web.app.servlet.ServletMetricsFilter.initServletMetrics(ServletMetricsFilter.java:129)