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

src/IceGlobalContext.h

Index: src/IceGlobalContext.h
diff --git a/src/IceGlobalContext.h b/src/IceGlobalContext.h
index 9968abbc8715d70d3e153b6c1392aa2e503bb9eb..cc5da5800ca604f71a239924966a5e8e014679bc 100644
--- a/src/IceGlobalContext.h
+++ b/src/IceGlobalContext.h
@@ -164,6 +164,8 @@ public:
   TimerStackIdT newTimerStackID(const IceString &Name);
   void pushTimer(TimerIdT ID, TimerStackIdT StackID = TSK_Default);
   void popTimer(TimerIdT ID, TimerStackIdT StackID = TSK_Default);
+  void resetTimer(TimerStackIdT StackID);
+  void setTimerName(TimerStackIdT StackID, const IceString &NewName);
   void dumpTimers(TimerStackIdT StackID = TSK_Default,
                   bool DumpCumulative = true);