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