SAT Generator for N hetmans added
SAT Generator genAll added
Adjusting Minisat code to fit n-hetmans needs.
All deps to minisat added.
Making clean (LOL?) buildsystem