Rewrite DVVs vs. Vector Clocks section.

This should now correctly describe the distinction between VCs and
DVVs. I have no idea what it was trying to describe previously.