switching from redcarpet to kramdown

Kramdown is a more fully-featured markdown implementation, so switching to it for DOCter. (I know it supports footnotes but redcarpet does not. I believe there are other features too.)