Update deskutils/semantik (mind-mapping tool) to its Qt5-and-KF5 version.

Drop USE_OCAML, that does not seem to be used at all in the newer
version. There may be some quirks left: the application starts and
I can draw mind-maps with it, but the preview seems to be disabled.
Some translations are missing as well.