Update on help search

src/main/java/help/HelpEntry.java

src/main/java/help/SearchResultHelpEntry.java

src/main/java/tmltranslator/TMLMapping.java

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

...in/java/tmltranslator/dsez3engine/OptimizationResult.java

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

src/main/java/ui/window/JFrameHelp.java

src/main/resources/help/clockdivider.html

src/main/resources/help/clockdivider.md

src/main/resources/help/searchresult.html

src/main/resources/help/searchresult.md