python sys stdin readlines