flush stdout python