Two more (alpha) packages: datalog and zipperposition

Logic-related packages now added :)