JSON pretty-printing library and command-line tool
