Modifications to notification framework

Notifications are now bound to specific course instances.
Also the notification menu is now a bit different, it shows
a pop-up menu for selecting the course.