Adding catalog-v*.xml files to .gitignore

These are a residue of Protege, and shouldn't be independently checked in.