git-difftool: use git-mergetool--lib for "--tool-help"