a command line tool for formatting json files