Remove broken Vagrantfile - Closes #3938