1) fromdos on any html/* file

1) fromdos on any html/* file
2) added a new method ask_uwobo to copy to the user a document that is
   asked to UWOBO (i.e. given a URL, it checks that it is a request to
   a trusted server)
3) templateambipdq?.html changed in such a way that no character that needs
   XML escaping happears. In this way we can apply stylesheets on them and
   what we get is valid HTML + JavaScript
4) All the functions that used to print the result as ASCII have been changed
   to generate an HELM Theory File.
5) The JavaScript code now asks the searchEngine to ask_uwobo an URL that
   is obtained by asking UWOBO to apply the stylesheets from theory files to
   HTML. The UWOBO URL (and parameters) are now hard-coded in JavaScript ;-((

As a result, we now have a very pretty rendering of the results. The
hyperlinks are enabled and fully working. Well done!