git-gui: show the maxrecentrepo config option in the preferences dialog