Ignore Gedit temporary files

It can be confusing to have temporary editor files in the repository—this commit adds `html~` files to the .gitignore to avoid situations where beginners get confused by Gedit's temporary files.