Update Redcarpet and use SmartyPants

I'm not sure if this is a change you're interested in.

It was useful for me, though!