update-index: add a new --force-write-index option