XSB Src (SVN)-old

Improved documentation slightly.

Modified psc_mod/2 to always return module psc. (I.e. removed tests for
conditions under which a warning was given. Handling of modules is more
complete now than when this predicate was written.)

these files changed after the compilation, which means somebody forgot to commit them

Fixed another case of handling modules properly.

in curr_sym fixed a bug in predicate_property with properly handling tables.
in tables added max_ans as a tabling option.

Minor changes in tests (and output).
Added tests for interning (hash-consing) big_arity terms.

New implementation of index trees. Smaller, slightly faster, simpler.

Fixed bugs in handling of big-arity terms (arity > 255).

Added predicate_property_20180213.

Backed out changes from 9226 which incorrectly changed the types of some opcodes etc. in a couple of functions.