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.