[M] Change in osmo-ttcn3-hacks[master]: es12_Types_JSON: add ES12 JSON encoder/decoder