-tracefile command-line option (pr3287)

Specifies that traces should be written to the specified file. This option does not enable tracing -- use the -trace command-line option for that.

Examples
-tracefile /home/fred/issue.trace