A loose port of Google's gcm-server library to PHP