Some PHP Iterators to read lines from a file nicely.