improve the command-line interface of json.tool (closes #21000)

A patch from Berker Peksag.
4 files changed