Add the copy of type from original xmlDoc in xmlCopyDoc()

A bug related to php DOMDocument:

    https://bugs.php.net/bug.php?id=80665

When copy/clone an html document, the xmlDoc->type goes from
XML_HTML_DOCUMENT_NODE to XML_DOCUMENT_NODE.
diff --git a/tree.c b/tree.c
index 2130d55..d2347df 100644
--- a/tree.c
+++ b/tree.c
@@ -4558,6 +4558,7 @@
     if (doc == NULL) return(NULL);
     ret = xmlNewDoc(doc->version);
     if (ret == NULL) return(NULL);
+    ret->type = doc->type;
     if (doc->name != NULL)
         ret->name = xmlMemStrdup(doc->name);
     if (doc->encoding != NULL)