Push and presencer server built with Tornado and Redis