put datalog doc in a proper subdir

See [this remark](https://github.com/ocaml/opam-repository/commit/f9687f76b6c9d0a6ecffbde796bcb06280d43859)