The socket.io layer of ShareLaTeX for real-time editor interactions