python stdout write flush