python print stdout flush