XSB Src (SVN)-old

make sure .so isn't used under windows

Changes mainly to make write_term use a special form of display. Also
changes to current_prefix in xsb_ciao.P

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