Fix the Vagrantfile

It appears Vagrant has been a neglected development strategy. This gets the Vagrantfile back up on its feet.