Added a basic VectorClock class.