sublibrary, Logtk_meta, for the meta-prover.
It depends on datalog and is enabled by default.
Logtk itself no longer depends on datalog.