update Vagrantfile and instructions for newer Vagrant, post v1.1