Documentation: removed obsolete doxygen options.