git-gui: Allow users to rename branches through 'branch -m'