minor fixes
clocksi: Add doc and spec
vectorclock: add spec
clocksi: Correct @doc description