Server-side logging and server-side mobile push

Added basic server-side logging functionality.
Added the server-side component of Google Cloud Messaging to facilitate
push notifications on mobile. Closes #29