Add Vagrant box URL to Vagrantfile

Anyone with Vagrant installed can just run `vagrant up` without having to download+install the base box manually.