Add GraphvizDot processor, support more Kramdown elements, keep attributes when converting <hr> to <div>