CNDFS proviso
Added some code comments
Fix debug printing in HRE
Fix bug in POR layer
SpinS update

* Explicit must-write matrix and copy vector
* Some fixes
Initial update to NEWS (TODO)
Edited configure message about Scoop.
Updated Scoop/MAPA documentation.
- Allow 'pretty' values in mu-calculus layer
- Several bugfixes for the combination of the mucalc layer and caching, regrouping.
Small documentation fixes.
Updated documentation about LTL. Removed LTL options from tools that
do not support LTL property checking (no accepting cycle detection is available
in the -dist and -sym tools).
Provide more useful feedback when doing LTL model checking (needs to be improved further).
Minor documentation updates.
guard-splitting for mCRL2
prepare for multi-process state label evaluations.
multi-process label evaluation
fix warning
use correct exit codes
fix bug in cpy vector for multi-process.
fix bug in soundness check