seconds.
(time_function): Use clock_gettime with CLOCK_PROCESS_CPUTIME_ID,
if available. This gives better accuracy, at least on recent
linux.

Rev: nettle/examples/nettle-benchmark.c:1.9