Add push notifications for new articles

[sveneisenschmidt]

Send push notifications when new articles arrive in subscribed feeds.

Requirements:

• Service Worker for push notifications
• User preference to enable/disable
• Optional: Per-subscription notification settings