correct gitignore to do not include *.html~ files