git-gui: Use a smaller pipe buffer for update-index.