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.

Mention in CClock haddocks how to convert ticks to seconds or at least put reference to C constant CLOCKS_PER_SEC

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information