Fix repo name and remove links to vagrant boxes