add ns3_timer.h file to timer facet