python flush stdout after print