python while sys stdin readline