vset: Added set_update to vectorset and implementation in vset_lddmc
vset_lddmc: fix assumption that cpy is set appropriately for read-write dependencies (it is not; it is only set appropriately for only-write dependencies)
typo in pins.c
fix header when printing combined matrix
count short vectors in group_explored
only over approximate W to + when domain separates rw but not copy
clean up print dm
remove r2w functions and introduce expand and project matrix.
add option --no-matrix.

Conflicts:
	src/pins2lts-sym/pins2lts-sym.c
fix null pointers when printing matrices with -v (verbose) option
print extra info about state labeling.
rename + move element of op cache
always create entire projection.
add join to ldd64
use correct length
unsetinfo does not exist, remove check
pins-guards now has three options:
 - false -> do not use guards
 - assume-true -> do not evaluate guards in a next-state call
 - evaluate -> use guards, but evaluate guards in a next-state call
set the read matrix when the actions read matrix is not set.
rename slbs -> nguards
initial support for guard splitting in pins2lts-sym.c