datalog 0.5.1
version restriction on ocaml
build doc when building datalog
ocaml version restriction also for datalog-5.0
Merge pull request #1430 from c-cube/datalog-0.5.1

datalog 0.5.1