OCaml package documentation

1. datalog 0.7