XSB Src (SVN)-old

Fixed bug in garbled snprintf length. Also added many casts to quiet
the linux (gcc) compiler.

added table to incremental abolish set. (Table was erroneously missing.)
Also removed debugging logging.

Added documentation of timed_call_modify/1 and current_timed_call/2.
Also cleaned up some indexing statements.

Added a cast to quiet compiler.

provided the incr_storage_find_... versions of the storage_find_* calls.

Added an error condition when trying to invalidate a non-incremental trie.

more initializations in the prref struct

Test for various large tabled terms -- ground and with lots of variables.

Added check for too many variables in answer -- see previous commit for details.

Added check for adding into a table an answer with a large number
of variables. The problem is that the variables get trailed, so
if there are enough variables, they will cause a TCP stack realloc, which messes up
the table choice point pointers in new_answer_dealloc.

This should be simple enough to fix, but since the limit is about
40000 variables in an answer, we should be ok for now.