Vagrant

Travis CI is now working; made some changes to the Vagrant config file to make it more useful.