make output JSON pretty

Nobody would like to see minified JSON, so it is better that the default output is pretty-formatted.