Use timer function with higher resolution

[dkirkby]

Timing values are now obtained using the time.h std. C library but this only has a resolution of 1 second. Since most intervals are reported as 1 or 2 seconds, it would be useful to use a higher resolution timer. If we can assume a unix-like environment, the posix gettimeofday() function has microsecond resolution.