Realtime sessions

Device tokens and live WS presence (Redis). Green = a socket is connected right now, so the notification router delivers to it over WebSocket instead of push.