Adding .gitignore file to ignore our respective project.properties file
Alessandro's changes to 5_agent.clp merged