git-gui: added gui.maxrecentrepo to extend the number of remembered repos