mergetool--lib: improve show_tool_help() output