Enable syntax coloring and switch to kramdown

Apparently, kramdown is the only md processor that does not choke on highlight, and supports footnotes.