added a new configure option --with-push, some cleanups, chased code size

* HTMLparser.c Makefile.am configure.in legacy.c parser.c
  parserInternals.c testHTML.c xmllint.c include/libxml/HTMLparser.h
  include/libxml/parser.h include/libxml/parserInternals.h
  include/libxml/xmlversion.h.in: added a new configure
  option --with-push, some cleanups, chased code size anomalies.
  Now a library configured --with-minimum is around 150KB,
  sounds good enough.
Daniel
diff --git a/HTMLparser.c b/HTMLparser.c
index 1606547..d9ef259 100644
--- a/HTMLparser.c
+++ b/HTMLparser.c
@@ -4271,6 +4271,7 @@
     return(ctxt);
 }
 
+#ifdef LIBXML_PUSH_ENABLED
 /************************************************************************
  *									*
  * 		Progressive parsing interfaces				*
@@ -5141,6 +5142,7 @@
     }
     return((xmlParserErrors) ctxt->errNo);	      
 }
+#endif /* LIBXML_PUSH_ENABLED */
 
 /************************************************************************
  *									*