“@“ Mention support for comments

- New notification type for mentions, works just like the comment notification
- New option to enable moving PRs which mention the user to the “participated” section
- Menu generation cleaned up in OSX
- Corrected issue where “try again” button would fail in iPhone
- Improved the display of advanced preferences, using ticks instead of YES/NO