Renamed links/files to GitHub.

The repository was renamed and the file names they linked to had also
changed.