[PATCH doc 2/3] Document -ctf switch of -trace-save

[Eli Zaretskii]

> From: Simon Marchi <simon.marchi@ericsson.com>
> CC: Simon Marchi <simon.marchi@ericsson.com>
> Date: Thu, 13 Oct 2016 17:07:27 -0400
> 
> The -trace-save MI command supports saving the trace in the CTF format,
> as its CLI counterpart, but it's not documented.
> 
> gdb/doc/ChangeLog:
> 
> 	* gdb.texinfo (GDB/MI Tracepoint Commands): Document -ctf switch
> 	of -trace-save.

Thanks, this is okay.