Notifications

Added system-wide notifications, and made use of them to replace the
old-fashioned, hard-coded sidebar notifications.