applied patch from Mark Vakoc except the API change, preserved it. updated

* debugXML.c: applied patch from Mark Vakoc except the API
  change, preserved it.
* doc/*: updated the docs to point to the search engine for
  information lookup or before bug/help reports.
Daniel
diff --git a/doc/news.html b/doc/news.html
index 0a72ca5..47bf937 100644
--- a/doc/news.html
+++ b/doc/news.html
@@ -113,7 +113,7 @@
   <li>Better handling of Windows file paths, improvement of Makefiles (Igor,
     Daniel Gehriger, Mark Vakoc)</li>
   <li>Improved the python I/O bindings, the tests, added resolver and regexp
-    APIs </li>
+    APIs</li>
   <li>New logos from Marc Liyanage</li>
   <li>Tutorial improvements: John Fleck, Christopher Harris</li>
   <li>Makefile: Fixes for AMD x86_64 (Mandrake), DESTDIR (Christophe