Remove vagrant.

Vagrant is now in its own repository.