included a new function to reuse a Push parser context, based on Graham

* parser.c include/libxml/parser.h: included a new function
  to reuse a Push parser context, based on Graham Bennett original
  code
* valid.c: in HTML, a name in an input is not an ID
* TODO: bug list update
Daniel
diff --git a/include/libxml/parser.h b/include/libxml/parser.h
index 9da48cb..1d8730d 100644
--- a/include/libxml/parser.h
+++ b/include/libxml/parser.h
@@ -1108,6 +1108,12 @@
 XMLPUBFUN void XMLCALL
 		xmlCtxtReset		(xmlParserCtxtPtr ctxt);
 XMLPUBFUN int XMLCALL
+		xmlCtxtResetPush	(xmlParserCtxtPtr ctxt,
+					 const char *chunk,
+					 int size,
+					 const char *filename,
+					 const char *encoding);
+XMLPUBFUN int XMLCALL
 		xmlCtxtUseOptions	(xmlParserCtxtPtr ctxt,
 					 int options);
 XMLPUBFUN xmlDocPtr XMLCALL