Simple session handling (in Redis) for Tornado