add doc/html/ directory to .gitignore, as it will contain the doxygen documentation