Exclude Protege 3 project files from Git