change: .gitignore to include (missing) doxygen files