Faithful reimplementation of Minisat 2.2 in OCaml.

The goal of this port is to assess the performance impact of using OCaml for heavily optimized imperative programs such as SAT solvers. A report summarizes our conclusions.

MIT license, following the original minisat 2.2 source code. This was adapted to OCaml by Simon Cruanes at Aesthetic Integration.