Add Simon Cruanes test suite
Add make instructions for OCaml Datalog