Adapt js.lua to CosyVerif.
Update dkjson.lua to force NOT using LPEG.