Library json_of_jsonm

The entry point for this library is module Json_of_jsonm_lib.