Simple example of work with tornado and redis