[IO] revise readlines() for large files