Goldmark extension for HTML mark tags
This is heavily based on the strikethrough extension of Goldmark.