PR6930: stap: supports on-file flight recorder options

Add on-file flight recorder options (the combination of -F and -o,
and -S option) to stap command, and change manpages and NEWS.
 - Both of -F and -o is specified, stap passes -D option to staprun.
 - stap just passes -S option to staprun.

1 files changed, 1 insertions, 0 deletions

diff --git a/session.h b/session.h
index ec6c2e3e..820b819e 100644
--- a/session.h
+++ b/session.h
@@ -90,6 +90,7 @@ struct systemtap_session
   std::string module_name;
   std::string stapconf_name;
   std::string output_file;
+  std::string size_option;
   std::string cmd;
   int target_pid;
   int last_pass;