587867 xmllint --html --xmlout serializing as HTML

* xmllint.c: one option was needed after the switch to the new save API
diff --git a/xmllint.c b/xmllint.c
index d1116af..9b0b89d 100644
--- a/xmllint.c
+++ b/xmllint.c
@@ -2549,6 +2549,8 @@
 
                 if (format)
 		    saveOpts |= XML_SAVE_FORMAT;
+                if (xmlout)
+                    saveOpts |= XML_SAVE_AS_XML;
 
 		if (output == NULL)
 		    ctxt = xmlSaveToFd(1, encoding, saveOpts);