No longer using "@todo" Doxygen command.
All TODOs now consistently marked with "TODO".
Doxygen no longer generates todo list page. This was only ever a subset
of the actual todos anyway, so was misleading.
Explicitly disabled todo list generation in Doxyfile.