git-gui: Implemented multiple selection in file lists.