Update on TaskINForVC by Frederic Giroudot

modeling/DIPLODOCUS/SmartCardProtocol.xml

src/main/java/cli/Action.java

src/main/java/common/ConfigurationTTool.java

src/main/java/common/SpecConfigTTool.java

src/main/java/tmltranslator/tonetwork/TaskINForVC.java

src/main/java/ui/MainGUI.java

src/main/java/ui/window/JDialogSystemCGeneration.java