Change benchmark to use clock() instead of non-portable clock_gettime().

Fixing #259 and #261.  There doesn't seem to be any significant precision penalty in my limited testing; perhaps someone with more consistent CPU timings would like to verify?  @ruipires, does this fix your problems?