Issue #86: Optionally color-ize the logging output.