gdb: save tracepoints

 
 13.2.3 'save tracepoints FILENAME'
 ----------------------------------
 
 This command saves all current tracepoint definitions together with
 their actions and passcounts, into a file 'FILENAME' suitable for use in
 a later debugging session.  To read the saved tracepoint definitions,
 use the 'source' command (SeeCommand Files).  The
 'save-tracepoints' command is a deprecated alias for 'save tracepoints'