git-gui: Remove Pull menu and cleanup Branch/Fetch/Push menus.