XSB Src (SVN)-old

uncommented xsb_patch_version in version.sh because otherwise the version string looks ugly (has a trailing dot).
Maybe somebody would want to fix that but until then xsb_patch_version shodn't be empty.
Updates related config files, which are generated by configure.

Recoded nec_different_xwam_files to be simpler and not use
raw integers where clearer options are available (as Michael suggested.)

Minor casts or change of decls to eliminate warnings from MSVC.

table_once is now opaque.

Fixed some old tests to represent actions of large arity terms (some tests succeed now, rather than throwing erors)
and added a couple of new ones.

New test for large_arity terms on builtins.

max_arity flag is now 2**16.

Forgot this one.

Just caught a couple of typos. Have not updated for large arity terms.

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)