Added initial vclock eqc_statem.
eunit-ify the vclock_qc
Generate the model along with the concrete in gen_vclock().
Make property operate on many vclocks.
Add vclock:dominates/2 with property.
Remove unused generators, clarify the collect, add an eunit timeout and more commands.
Update dominates/2 to use equal/2, QC property is broken.
Adjust EQC model to handle timestamps.
Add convenience funtions for running vclock eqc from console
Merge pull request #462 from basho/sdc-vclock-eqc

Add EQC statem property for vclock. [rebased]