Update vagrantfile and instructions for using it