XSB Src (SVN)-old

Changes mostly for indexing consistency.

A few changes for inspection predicates, and a lot of index changes
for consistency between indexing done in the library chapter and other
chapters.

Added TODOs for robustifying other cases of recvfrom(), recv()
like the one I did in case of socket_get0().
Not doing it now because I don't know where the other cases of recvfrom()
are used, so not sure how to test those changes, if I made them.

made sockets much more robust by automatically restarting recfrom()
if interrupt was received. Especially useful for interaction with interprolog.

Exporting remove_timed_call_state/1 and making it standard.

Updated the names of tripwires.

Got rid of obsolete flag MAX_LIST_ANSWER_DEPTH

Made names of tripwires slightly more consistent.

more tests, fixed some other tests

replaced the dead url mail.cs.stonybrook.edu with mail.google.com