RESTful webservice to register devices & send GCM notifications.