Implement Markdown converter option

It's now possible to switch the markdown converter library in the
OptionsDialog. The converter is then immediatly replaced in the
HtmlPreviewGenerator.