git-gui: enable the smart case sensitive search only if gui.search.smartcase is true