new runs files
set<Constraint> changed into vector<Constraint>: significant gain at runtime
rename setConstraints by vecConstraints for consistency
Optimizations: replace loops all_positions then all_constraints by the opposite
Fix bug issue #6 by rollback. Improve wall cleaning.