OCaml package documentation

1. minisat 0.6