git-gui: Allow users to delete remote branches