difftool: Simplify print_tool_help()