vector clock race detection

Vector clock algorithm simulator for dynamic data race detection.

See vector-clocks-intro.pdf for an introduction to the vector clock algorithm and see algorithm-rules.pdf for the possible inference rules/steps the algorithm uses to advance and detect races.