Added thorax_time.h to cpp/thorax.hh