Removes Vagrantfile (irrelevant to wider use)