python, output to sys.stdout and to log file.