ignore service.properties

prevents the problems in deployment caused due to `build.number` increments when the commit history is required changed (which is more likely to happen in the working branch)