Ignore html files from Doxygen in git.