Add Push Notifications Based on Issue Preferences

Add push alerts that are enabled by PR #92, making it so users are notified of the issues they want to hear about. Issue #92 adds a preferences page that can enable/disable push notifications, so that will have to tie together.