Remove the Vagrantfile

We use Docker to make cross-builds now, the Vagrant setup is out of date
and not maintained anymore. See the README for more information.