Convert clock_gettime() and gettimeofday() into vsyscall hooks.

#709