Update Vagrantfile and docs/VAGRANT.md for new box