Detection and replacement of references to Github commits and issues

Replace user/repo@commit_sha and user/repo#issue_num with links to Github.