Convenient wrapper for push notifications on top of GCM