excludes Protege generated file from git