Update minisat-haskell-bindings to HEAD