git-gui: gui.autoexplore makes explorer to pop up automatically after picking