Sources for json_fmt, a simple json formatter and json_get, a code that extract data from json blobs