Upgraded to Jetty 9.1.0

Jetty 9.1.0 introduces some nice features like support for Servlet API 3.1 and Websockets. This PR adds support for Jetty 9.1.0 to Metrics.