Merge "gitignore: add local.properties"