git-gui: Rename all_branches -> all_heads.