XSB Src (SVN)-old

Now allowing maximum functors to be 2**16 - 1. Various changes
to make this work properly for pure SLG execution. Much of this
simply involved changing the occurrences of byte types in
psc-oriented routines to int. While I was at it, I changed the
name from the confusing insert() to insert_psc().

No attempt was made to expand bytecode, so large arity terms are
not available for explicit compilation. Also, I dodn't fiddle
around with assert/retract. However, nearly all Prolog builtins
have been checked to ensure they work with large-arity terms, as
have been interned tries. I started working on checking tabling,
although there are more features to check.

For good luck, I also increased the HEAP_GC_MARGIN.

Fixed is_most_general_term to work with large terms (lists as well as functors)

Fixed a small bug. When there is an overflow of the pdlstack, it could not be properly reset. Now it can be.

Fix import warning message generator to better account for modules
requiring quotes. (Please don't use embedded quotes.)

forgot to actually make sure it the file will be in the temp dir and not just somewhere. Added error checking.

changed print_incomplete_tables_on_abort in two ways:
1. got rid of tempnam so it won't issue security warnings
2. It no longer polluted XSB/etc with scc_dump files. Should send them to temp dir.

In-lined do_all.
Also partially evaluated instantiated calls to call/1, to eliminate the overhead
of call/1.

Added export of require_cut_transform for use in compiling.

Fixed an obscure bug where string gc collected the Prolog atom '<cyclic>' which meant that cyclic terms were not
always properly marked. The solution is to always to a string_find at the beginning of mark_cyclic, and not rely
on its being interned at initialization, as had been done previously.

Adjusted slightly so this will work with mt engine.

Added a couple of explicit casts to quiet the Linux compiler.