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
fix warnings regarding explicit else branches
sylvan: update to MDD branch
Lace now requires LACE_ME macro when Lace tasks are used.
Fix few compiler warnings
Who smoked what? Fix “stpcpy”.
vset: implemented multi-core LDD support (via Sylvan)
Fixed test suite for mu-calculus layer, added tests, fixed bugs in mu-calculus layer.
Added generated mucalc lexer and parser to .gitignore
- Added parallel attractor function for spgsolver.
- Reorganised files for spgsolver.
- Solved bignum bug in spgsolver.
- Fixed reading and writing of symbolic parity games in spgsolver.
- Lace initialisation in spgsolver.
- Changed output of symbolic tools and spgsolver.
- Debug macros.
- Read and write dependencies in pins2pins-mucalc.
- More uniform screen output in spgsolver.
Added multi-process environment for non thread-safe language modules in the
symbolic reachability tool.
Fixed a bug in PINS with automatic projecting and expanding vectors.
The group information was not copied correctly.
Fixing multi-process symbolic tool for read/write separation and copy values.
Fixing loading of symbolic parity games.
Removed busy-waiting loop from multi-process environment in symbolic tool.
Now pthread_cond_signal is used instead.

Introduce separate thread for communicating chunks for the master process.
Fix parallel attractor in spg solver.