Remove usages of the deprecated `std::iterator`#8088

Merged

thomasspriggs merged 3 commits intodiffblue:developfrom

thomasspriggs:tas/no_std_iterator

Nov 29, 2023

Commits on Nov 28, 2023

Remove usage of the deprecated `std::iterator` in `cmdline.h`
thomasspriggs
committed
Make `option_names_iteratort::reference` const
thomasspriggs
committed
Remove deprecated `std::iterator` usage in `dense_integer_map`
thomasspriggs
committed