git-gui: Performance improvements for large file sets.