Fix gitignore file to not ignore proj.android/project.properties