Update Redcarpet and use SmartyPants