Switched back to kramdown to get auto-id headings

This also involved adding a plugin so we can have syntax highlighting
back. Is there no consistency among markdown processors? (Rhetorical
question.)