Improved install-doxygen-doc to select only the useful file extensions.