big refactoring on its way, much progress (especially in .mli files);
new meta prover interface that uses code from Logtk;
more modular code in many places, e.g. ProofState