python stdout readlines