Merge branch 'master' into debugZ3

Makefile

build.txt

src/main/java/help/HelpEntry.java

src/main/java/help/HelpManager.java

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

src/main/java/ui/MainGUI.java

src/main/java/ui/util/DefaultText.java

src/main/resources/help/architecture.html

src/main/resources/help/architecture.md

src/main/resources/help/clockdivider.html

src/main/resources/help/clockdivider.md

src/main/resources/help/cpu.html

src/main/resources/help/cpu.md

src/main/resources/help/diplodocus.html

src/main/resources/help/diplodocus.md

src/main/resources/help/general.html

src/main/resources/help/general.md

src/main/resources/help/helpTable.txt

ttool/build.gradle