A PHP/MySql server to send android push notifications using Google Cloud Messaging (GCM)