Pin Tornado-JSON version; fixes #17