tools/markdown: new option to select between official markdown or Discount-extended parsing