jsonpps: JSON pretty printer for really large files.