Subzero: Improve the output with the --timing-focus=xxx option.

src/IceTimerTree.h

Index: src/IceTimerTree.h
diff --git a/src/IceTimerTree.h b/src/IceTimerTree.h
index 289ea2deecee780cb35e58dcdc235a466f7f0ebe..1f1458297c8ec5b0bd22e9b6dc940847932a8c79 100644
--- a/src/IceTimerTree.h
+++ b/src/IceTimerTree.h
@@ -52,15 +52,17 @@ public:
   };
   TimerStack(const IceString &Name);
   TimerIdT getTimerID(const IceString &Name);
+  void setName(const IceString &NewName) { Name = NewName; }
   void push(TimerIdT ID);
   void pop(TimerIdT ID);
+  void reset();
   void dump(Ostream &Str, bool DumpCumulative);
 
 private:
   void update();
   static double timestamp();
-  const IceString Name;
-  const double FirstTimestamp;
+  IceString Name;
+  double FirstTimestamp;
   double LastTimestamp;
   uint64_t StateChangeCount;
   // IDsIndex maps a symbolic timer name to its integer ID.