Fix Vagrantfile location and tomcat recipe