Updated Vagrantfile to reflect repository name change, all should be good