Prepare for merge request

.gitignore

src/main/java/tmltranslator/TMLTextSpecification.java

src/main/java/tmltranslator/toavatarsec/TML2Avatar.java

src/main/java/ui/MainGUI.java

...ava/ui/networkmodelloader/JDialogLoadingNetworkModel.java

src/main/java/ui/networkmodelloader/NetworkModel.java

src/main/java/ui/window/JDialogProverifVerification.java