Understanding the flush Parameter in Python's print