Clock vectors are now orddicts
Yet another fix for the weak-source-set test

If there is a race between A and B, weak sources are all processes that are
enabled together with A, their first instruction is not in race with A and they
*could have run* between A and B (essentially, they are not always in the sleep
set).
Count Sleep-Set blocked traces
Report Sleep Set Blocked in progress bar
Take out code for dotted modules (gone in R16A)
Add test `manywrite' in dpor suite
Handle exception in `lookup_ref_lid'
Merge branch 'master' into temp

Conflicts:
	src/concuerror_sched.erl