New deletion (bug in use of left-accords)
New deletion with optimizations
Flexible matrices imported automatically for Promela

* includes other SpinS updates
Optional MDS
Improved option parsing

Fixed weak sets for heur + scc algorithms
Extend SCC algorithm
Attempt to fix weak SCC algorithm
Fix compilation warnings
add none POR option (for easy scripting)
Fix POR check for weak sets
Fix left-accords, heur. key selection and deletion
Refactored deletion
Refactored deletion2
Fix no permutation during LTL
Refactored POR, combined LTL and weak
Basic refactor
V and I in deletion algorithm
Tree print compressed sizes
Deletion with I and L12 proviso
Fix heur search