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