git-ignore protege catalog files