Improved makefile (compiles minisat if libminisat not found)
Thesis: Alice's comments