[tor-commits] [onionoo/master] Add performance metrics to the servlet.