A helper library for device push notifications using the Appcelerator framework and their cloud service