Adds backupfiles to gitignore.
Merge branch 'master' of https://github.com/mrbjoern/inf2220
.gitignore changed locally since last push.