[v8] use clock_gettime() instead of gettimeofday()

[T.C. Hollingsworth]

Summary of changes:

  aff59a0... use clock_gettime() instead of gettimeofday() (*)

(*) This commit already existed in another branch; no separate mail sent