json encoding in python + cjson