creating TMLMapping after optimization

src/main/java/tmltranslator/dsez3engine/InputInstance.java

...ain/java/tmltranslator/dsez3engine/OptimizationModel.java

src/main/java/ui/MainGUI.java

src/main/java/ui/window/JDialogDSEZ3.java

...est/java/tmltranslator/dsez3engine/InputInstanceTest.java