**Feature** notification system

This adds a UI notification area in which notifications can slide down into view at the server's command. Currently notifications are used to indicate trace deletion and undeletion (which was implemented alongside this feature).