added exclusion of files ending with a tilde to .gitignore