A tiny service & app to push notifications to an Android device using GCM.