Track programming languages, merge activities, and more with GitHub

We overhauled our GitHub integration to support programming languages, merge activities, pull requests, and contributions. All information from GitHub is searchable and will show up in the main activity feed as well as on member profiles.