implement read write separation + support for copy in listdd64
rename vset_listdd program options.
Add function vset_example_match
Action prefix detection

--action now detects actions that match an action-prefix.
--no-exit continues searching for all errors
--trace can be used to save traces to all errors
Each counterexample computed once

Conflicts:
	src/pins2lts-sym/pins2lts-sym.c