git-gui: Simplify printing of index info to update-index.