Add documentation. Cleanup.
Add docs for VectorClock.