git-gui: Allow the user to disable update-index --refresh during rescan.