Copied push notification code from old Zax app.
PushService is now started not only when the device is booted, but also
when the app is started (if the service was not running before).
Added notification counter and extended notification showing the latest
triggers.
Improved notifications: The counter and the previous messages are reset
when the notification is clicked.