adapted .gitignore to ignore files ending in "~"