Padrino based server for pushing notifications to devices via Apple Push Notifications (APN) or Google Cloud Message (GCM)