Remove unused Vagrantfile