Add another logging option for writing log messages in JSON format.

The "json_file" logger writes each log message in JSON format, with one
log message per line.  This format should be easier to work with than
the standard "file" logger when the logs will be fed into other
software for post-processing.