Markdown syntax highlighting in /-! comments -/

Stream: general

[Jasmin Blanchette]

@Gabriel Ebner - Syntax highlighting in comments is cool! But for some reason, ## headings don't like hyphens. Compare

/-! ## Question 2: One Point Rules -/
/-! ## Question 2: One-Point Rules -/

[Gabriel Ebner]

So the problem is that the grammar for the markdown syntax needs to be careful not to consume the final -/. And it's surprisingly hard to make that work reliably in textmate grammars, so I just made it stop at dashes to be on the safe side. I'll see if I can relax that a bit.

[Gabriel Ebner]

Please tell me if anything broke.