A json encoder/decoder for Lua