git-gui: rework handling of diff header