Fix *.cmake scripts that dropped the semicolon in strings during conversion. Move markdown2html in a separate library.