setting up a basic vagrant box for jboss5