A Tornado real-time chat server; intended to be embedded as JS in web pages.