C++ library which provides a file_iterator class