Cleanup: project.properties in gitignore.