github: Add configurable map of Github usernames to IRC nicks.