Add abbrev_defs to .gitignore