[tor-commits] [onionoo/master] Update Vagrant file to reflect switch to Jetty.