Changes for clauses 9.3, 9.5, 9.6, 9.7, 9.8.

pom.xml

src/main/java/fr/mines_stetienne/ci/saref/CLIExecution.java

src/main/java/fr/mines_stetienne/ci/saref/Main.java

src/main/java/fr/mines_stetienne/ci/saref/SAREF.java

src/main/java/fr/mines_stetienne/ci/saref/SAREFPipeline.java

...es_stetienne/ci/saref/checkers/AbstractClauseChecker.java

...mines_stetienne/ci/saref/checkers/Clause_9_3_Checker.java

...nes_stetienne/ci/saref/checkers/Clause_9_4_2_Checker.java

...nes_stetienne/ci/saref/checkers/Clause_9_4_5_Checker.java

...mines_stetienne/ci/saref/checkers/Clause_9_5_Checker.java

...mines_stetienne/ci/saref/checkers/Clause_9_6_Checker.java

...r/mines_stetienne/ci/saref/checkers/Clause_9_Checker.java

...fr/mines_stetienne/ci/saref/gui/FunctionalitiesPanel.java

src/main/java/fr/mines_stetienne/ci/saref/gui/MainFrame.java

...ava/fr/mines_stetienne/ci/saref/managers/SiteManager.java

...a/fr/mines_stetienne/ci/saref/managers/ThemisManager.java

...mines_stetienne/ci/saref/managers/VersionSiteManager.java

src/main/resources/documentation/header.rqg

src/main/resources/themis/body.html