gitignore update for Doxygen update