[tor-commits] [metrics-web/master] Turn collector.html and onionoo.html into .jsp.