Ignore project properties

Updates .gitignore to ignore the project.properties file.