Fixed Makefile for Mac OSX

Used Makefile from:
https://github.com/surma/minisat/commit/e42580c7bd5780a69a485becfe8bb785
7f4d7b51