Update .gitignore

Exclude html files (mostly created by JavaDoc) except the three that we created manually