git-mergetool: move show_tool_help to mergetool--lib