git-gui: Teach the gui how to uninclude a file.