Implemented push updates via WebSockets

Added push updates for
- user added
- location changed
- notification (observation start/stop)
Updates spawn an Android notification