Added minisat

Taken from https://github.com/niklasso/minisat/ as it was CMake ready.

Signed-off-by: Ronald Huizer <r.huizer@xs4all.nl>
Fix to ensure that minisat_simp doesn't collide with the directory.

Signed-off-by: Ronald Huizer <r.huizer@xs4all.nl>