Transform for net_apply to be used with SMTLIB-compliant solvers

See merge request laiser/caisar!21

Include building a proper Why3 float literal.

Get name of a node.
Get data node of a node.
Shape inference function.

[ci] Try to avoid double pipeline for same branch/commit when an MR is open for it.

See merge request laiser/caisar!43

Use gitlab-ci [when:] keyword instead of [rules:] when possible.

Better interpretation of the DataSetClassification theory predicates

See merge request laiser/caisar!42

[SAVer] Harmonize output on SAVer's Unknown answer.

See merge request laiser/caisar!40

No "empty parenthesis" anymore.

Extend SAVer support

See merge request laiser/caisar!37

Also, consider SAVer as complete wrt "correct" predicate, which does not take
into account a perturbation anymore. Correctness is wrt the expected label only.

Split premises to generate tasks

See merge request laiser/caisar!39

Documentation

See merge request laiser/caisar!23