Link to Github profiles

[BD103]

In the giant list, each name should be a link to the contributor's Github profile. This would help for easier discovery, if people are interesting in what specific contributors are doing.