XSB Src (SVN)-old

Minor updates for 3.2-pre

Seems to have become out-of-date.

Minor syntax change for simplicity.

Minor improvement on definition of add_lib_dir.

Fixed what looked like a typo, calling a nonexistent predicate.

Added (?-) as standard symbol. Not normally necessary since the compiler
handles it (and we don't use it much), but if interpreted, it should be
known.

Minor change in syntax for clarity/efficiency.

Adding interim release notes.

Adding new pages for describing an interim release and for testing.

Making it easier to benchmark sequential prefereces.