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

This reverts commit 5e42fb9f6800c5fa97dc72746320528feed6523f.

We should use @todo in Doxygen comments after all, to ensure Doxygen
ignores the @todos in the generated markup.
Edited Doxyfile again to stop todo-list page from being generated.