python 3 flush stdout