New formulae: MiniSat and its C bindings

The last tagged release of MiniSat is too old to be useful. This brew also builds the shared library and bindings.