XSB Src (SVN)-old

Added ioport2iostream/2, is_valid_ioport/1.
Added push/pop_stdin.

Changed the default for segfault handling.
Fixed bug in the debugger where it fogot to close previously open input
stream.

Last fix (hopefully) to lib and syslib

added last missing file

Notational correction.

Changed typo in file_read_line_list index spec, that prevented the index
for manual 2 from being properly updated.

Amended the XSB User's Manual wrt subsumption and negation.

added new files

Allow qualified table names (requires 3 parts, separated by periods (.))

Removed trailing blank lines.