"in python, how to change text after it's printed?",sys.stdout.flush()