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.