put datalog doc in a proper subdir
Merge pull request #1622 from c-cube/master

put datalog doc in a proper subdir