XSB Src (SVN)-old

Some re-organization that occurred when I was updating the manual.

Various changes to fix manual indices, and to add documentation for write_term.

* minor modification

* Make local the default scheduling strategy

Added nmr, which contains xnmr, gaps and wfsx.

small bugfixes

added a note on Flora
a note on libwww config

Took the libwww configuration stuff out of the configure script and made it
into a separate config script

Many changes, to include more standard predicates, to describe tabled
dcgs, to remove unneeded appendices, to begin to add Luis' xnmr, and to rectify manual indexes.

Added import declaration for display/1