XSB Src (SVN)-old

Fixed implementation of table_index directive.

Add forall/3 (and 4, which will need documentation) as quantifier.

Some long-overdue code cleanup/simplification, and one minor change to
restrict loading (under import) of non-suffixed files to be only directories.

Added forall/2 (and 3,4) as quantifiers in excess_vars so it finds
free variables correctly.

Change expected answer for one test to be an abort,
since new fix of get_ret_psc overflow changed its results.

Fixed overflow in get_psc_ret when N is greater than arity.
Fixed the failure in test_large_tabled_terms that it was causing
(but it caused another test there to fail. Will fix it.

New correct outputs after changes in importing and other psc flags
causes predicate_property to give newer (and hopefully more reasonable)
output for new "unknown" predicates.

robustified the behavior on windoze so XSB no longer depends on whether it is invoked with or without the drive letter.
In expand_filename, use the builtin Windows primitive _fullpath instead of the homegrown one.
Recompiled package dlls

renamed some vars, which had dangerously similar names to some other vars

Fixed abolish_table_pred, which was broken. Not sure why my fix worked, but it did.