Makefile: fix paths
vset: added pre/post hooks and dom_save
vset: added method to retrieve vector size from domain
vset: added vrel_update
vset_sylvan: move some code to separate method
vset_sylvan: rewrite
vset_sylvan: implemented load/save API.
pins2pins-group: fix multithreading problem (allow multi-entrant)
pins2lts-sym now supports loading and saving transitions
pins2lts-sym now initializes Lace if Sylvan is used
sylvan: update to head
vset_sylvan: rewritten state_to_bdd, set_example using new sylvan_cube and sylvan_sat_one functionality
pins2lts-sym now has order par and par-prev
pins2lts-sym: autodetect number of cpus
pins2lts-sym: minor code rearrange
pins2lts-sym: convert expand_group_next to a Lace Task
pins2lts-sym: expand_group_next parallel in --order=par and --order=par-prev
Speed up regrouping (column swap)

Signed-off-by: Jeroen Meijer <jjgmeijer@gmail.com>
fix white space issues for previous commit
Resolves #741
Align operation cache w.r.t. cache line.