Announce who was mentioned in new pull request
Better handling of mentioned nicks

Don't use parts of emails, remove duplicate mentions.
Detect @dashed-nicks in pull request body
Merge pull request #994 from spajus/master

Github pull request notifier: say who was mentioned