Deliver user notifications when mentioned

Pretty straightforward, except you use the NSUserNotificationCenter instead
of the NSNotificationCenter.