mergetool--lib: list user configured tools in '--tool-help'