Tornado has built-in support for writing JSON