A full async docsplit previewer server based on Tornado and Redis