python sys.stdout.reconfigure