Minor update to .gitignore

Now ignores:  corefiles, stray patches and tags file.