Make SDNode::dump() print a newline at the end.