Make git ignore Doxygen generated documentation.