Adapted Vagrantfile to fit new default Vagrant.configure syntax