KoRE: updated .gitignore