Added single-machine Vagrant file and unified with travis provisioning