update Vagrantfile repo url

No rename required now that the repository name has changed