Encrypted cookie support for Tornado Web Server