Implement FastTrack data race detection?

[RalfJung]

https://users.soe.ucsc.edu/~cormac/papers/pldi09.pdf describes a more efficient way of detecting data races with vector clocks. I wonder whether that approach is flexible enough to cover our Miri needs, and whether that would speed up Miri.