Fix: Set litmus timestamp in ftrace records.

Patch updates ftrace.h to record a litmus_clock() time stamp
in ftrace records.