Enable Markdown support in display of skill description in Skill Manager Gui

CC @dreher

After:

There is a splitter between the description and the arguments tree, so you can reduce the description's size if necessary.

assigned to @kartmann

changed the description

enabled an automatic merge when the pipeline for f6c2a9fa succeeds

merged

mentioned in commit 882e71d7