Documentation/git-update-index: add missing opts to synopsis