v7.0-beta.1

Trill Framework with resumable query. With this version it is possible to run a query, collecting some/all justifications, possibly add axioms on the fly, and resume the query computation to continue collecting the justifications also considering the new axioms.