Revert "No longer using "@todo" Doxygen command."

This reverts commit 91f96c05614176680038cdecc1cc8f9f5ac0b121.

We need to use "@todo" after all, to ensure Doxygen ignores todo text
in generated documentation.
Tell Doxygen no to generated todo list in Doxyfile.