Use vectorclock library

[dfrankow]

https://github.com/boxydog/vectorclock

Use tiebreak=True on all vector clock comparisons, to be deterministic.

This is a nice-to-have, it won't change functionality, just reduce lines of source code a bit.