lines: iterable for std::getline().