Replace the git mirror used by vagrant

This mirror is an old mirror that we had used when we had upstream
reliability issues. Point this back to github and soon to be replaced
by giftwrap.
Merge pull request #469 from craigtracey/vagrant_mirror

Replace the git mirror used by vagrant