Add vector clocks.
Merge github.com:vjeko/distributed_examples