GCM client for Android, and GCM server written in Python 2.7