Convert UCTimers to use UCoreClock

test/timers.c

@@ -69,9 +69,7 @@ int main(int argc, char *argv[])
     uc_timer_add(&timers, &my_struct2.timer, 10, 0);
 
     for(;;) {
-        struct timeval now;
-        gettimeofday(&now, NULL);
-        uc_timers_run(&timers, &now);
+        uc_timers_run(&timers);
 #ifndef FULL_SPEED
         usleep(1000);
 #endif