Remove outdated Vagrantfile

This is mostly to test whether ghc/alloc metrics won't report any increases or decreases.

Might as well remove a probably unused file.