[tor-commits] [onionoo/master] Upgrade metrics-lib and Jetty versions.