git-gui: Allow the user to disable diff stat summary during pull.