git-gui: Implemented local branch deletion.