Update on dse management

doc/config_linux.xml

doc/config_macosx.xml

doc/config_windows.xml

libs/commons-io-2.4-javadoc.jar

libs/commons-io-2.5-javadoc.jar

modeling/DIPLODOCUS/SmartCardProtocol.xml

rundse/build.gradle

src/main/java/dseengine/CPUWholeResult.java

src/main/java/dseengine/DSEConfiguration.java

src/main/java/tmltranslator/TMLArchitecture.java

src/main/java/tmltranslator/TMLPort.java

src/main/java/ui/window/JDialogDSE.java

ttool/build.gradle

webcrawler/client/build.gradle

webcrawler/server/build.gradle