Deleted function string_list_of_json, replacing by builtin Yojson equivalent.