Added OCaml SAT solver

Currently this isn't connected up to anything.