Add simple code example to the `debugger` tool on how to redirect a goal trace to a file