Implemented the push notification.

Deleted some of this morning changes, as there was no need to inform of how many unread messages an offline has.
Added greying out of push notifications on the web interface if out-of-muc notifications aren't enabled.