Github pull request notifier: say who was mentioned

If pull request body contains "@nick1 @nick2", hubot adds "Mentioned: @nick1, @nick2" to the announcement.