timer lib of contiki ctimer