Make minisat compilable on OS X

```
make clean
make lsh
```

I didn’t bother preserving Linux compatibility in the Makefile.

If we’re going to try compiling minisatp natively for OS X, we need this.