Added Olivier's timer.c and timer.h