factorized several classes

...r/boreal/explanation/GRI/dynamicProcessing/RELTracer.java

...a/fr/boreal/explanation/api/encoders/GSATEncoder_GRI.java

...real/explanation/api/explainers/AtomicQueryExplainer.java

.../fr/boreal/explanation/api/explainers/QueryExplainer.java

...main/java/fr/boreal/explanation/api/gmus/GMUSEncoder.java

.../explanation/api/processors/ExplanationProcessor_GRI.java

...nation/api/processors/ExplanationProcessor_Rewriting.java

...xplanation/configuration/DefaultChaseForExplanations.java

...planation/explainers/AbstractStaticGRIBasedExplainer.java

...r/boreal/explanation/explainers/FactSupportExplainer.java

...xplanation/explainers/FactSupportProvenanceExplainer.java

.../fr/boreal/explanation/explainers/KBSupportExplainer.java

...oreal/explanation/explainers/NewFactSupportExplainer.java

...r/boreal/explanation/explainers/RuleSupportExplainer.java

...l/explanation/ruleFactories/RuleTransformationRecord.java

...l/explanation/ruleFactories/StaticGRIRuleTransformer.java

...oreal/explanation/solving_enumerating/GMUSSolverImpl.java

...l/explanation/solving_enumerating/GMUSTranslatorImpl.java

.../solving_enumerating/encoders/AbstractGSATEncoderGRI.java

...olving_enumerating/encoders/FactSupportKBGSATEncoder.java