Markdown editing now has GFM, so rm knockdown

Knockdown has some pretty funky syntax highlighting, Markdown Editing
offers a much nicer theme, and all in one package.

…plus, Knockdown has been buggy in the past.