Update to latest Vagrant, and its new installation style.
Use same (standard) box as main Vagrantfile.