Python Sys.stdout.flush