A simple demo for tornado web socket