Fix two documentation issues
Fix LTL and LTS (FSM) tests
Fixed DFS_FIFO
Reduced output of PINS layers
Fix memory usage in stack sets
Fix DFS_FIFO non-strict BFS order
Add --strict option for DFSFIFO
SpinS documented POR matrix computation
Moved Documentation to doc
Updated NEWS
Updated NEWS and copyright years
Fix warning with -DLTSMIN_DEBUG
Fix include header and typo in makefile
Fix Sylvan make
Fixed makefile for testsuite
Including examples in distribution
Fix relative directories in testsuite
Fix prom manual
Merge maint
Update readme