Added doc/html to .gitignore