conversion CClock to picoseconds
Motivation
It is not clear how to get time difference out of CClock. Let's say I want to measure and print process elapsed time in logs.
Proposal
Mention in CClock haddocks how to convert ticks to seconds or at least put reference to C constant CLOCKS_PER_SEC