Enable check in more tests

No need for files "load.lp" or "rules.lp", they are statically generated
by the pipe.

Renamed qfo into meta
Renamed library roots from qfo to psnj
Renamed pipeline libroot from qfo to pipe

The name qfo remains for the moment and dkmeta has been re implemented
in lambdapi

alt-ergo and run why3 config detect

Contains several tests with
- implication on LHS of implication (A -> B) -> C
- universal quantification in LHS of implication (all x P) -> C

and provide path to psnj to tests

jsplit now returns the list of created files on stdout
jgroup groups a list of json objects into a dictionary

Lock file not used in ci because it conflicts with the compiler matrix

appaxiom, autosolve, dopth and chainprops are accessed by
psnj CMD instead of a binary psnj-CMD

qfo, spec, pvs_cert, pvs_connectives, propositional_connectives, lhol

Allow evaluation of arbitrary lambdapi code

Extra theories added as requires in the input

The standard input may depend on arbitrary module