Implement and document the TOOL_VERBOSE option that asks each tool invoked