log.py: enable_pretty_logging() is now idempotent.  It will no
longer result in duplicate log lines if called more than once in a
running program.