git-gui: Change repository browser radio buttons to hyperlinks