Improve interface notifications

[Igor Santos]

https://github.com/dominique-mueller/notification-js

This seems like a more versatile notifications plugin. We might need alertify.js alerts/prompts, tho, so we should take a look if it's really replaceable - and if Notification.js would fit our design.