git-gui: Handle progress bars from newer gits