added protege catalog file to gitignore