Further improved "make" prettiness
Added "make clean-abc"
Fixed typo in cover id
Added more stuff to the checklist
Removed Minisat dependency on zlib