XSB Src (SVN)-old

Fixed a performance bug in tsiOrderedInsert in tst_insert.c to avoid
running a long list to insert a node in the proper location. Used a
"skiplist" idea. Only implemented one level, since that more than
handled my problem. Left warning if more levels would be needed for
faster access.
The other files are updated to try to support the same functionality
in the multithreaded engine. I'm unable to test those changes now, so
I'm depending on others to test this...

Changed a type from long to int, so quiets my compiler warnings.

Fixed some broken format specifications in printf's. Used only in debugging,
I believe.

Fixed insert_cpred() to add type of T_FORN

added a note that XSB can't be built under cygwin32-WOW, ie, if cygwin32 is installed on a 64 bit Windows. Probably a tagging problem.

Forgot to change title.

moved library.tex from vol 2 to vol 1. Other changes are mostly minor.

made Cygwin understand paths like Letter:/dir/dir/dir

Now initializing dollar_var_psc on startup, along with other global pscs.

A bunch of coersions, fmt changes, type long to int (which eliminated
a long-standing warning from MSVC in 32-bit mode). I don't know why
some of these warnings just showed up now (maybe Michael's cygwin
compiler invocation change?), but good to have them.