ping: print short stats summary on SIGQUIT

refs #2782

Change-Id: If0b85dabc7fdee6ea5ab19297122e7f322d55f22
diff --git a/tools/ping/client/statistics-collector.hpp b/tools/ping/client/statistics-collector.hpp
index 6e98577..685ff1f 100644
--- a/tools/ping/client/statistics-collector.hpp
+++ b/tools/ping/client/statistics-collector.hpp
@@ -46,6 +46,9 @@
   double sumRtt;                                //!< sum of round trip times
   double avgRtt;                                //!< average round trip time
   double stdDevRtt;                             //!< std dev of round trip time
+
+  std::ostream&
+  printSummary(std::ostream& os) const;
 };
 
 /**