[Bug 1520710] Review Request: gawk-json - JSON encoder/decoder for gawk