add doc/html in .gitignore