Deleted some old files, which updated the .gitignore