JSON RPC with WebSockets. Uses Python, Tornado und tinyrpc.