tomcat vagrant config