Improve web push notifications
- Respect notifications filtering settings
- Move web push notifications specific code from
main.jstolib/push_notifications_plugin.js
Probably should close #231 (closed)
main.js to lib/push_notifications_plugin.js
Probably should close #231 (closed)