add CLOCK_TAI (and CLOCK_SGI_CYCLE) clock ids to time.h