XSB Src (SVN)-old

Added cut to clean up CPs.

added check for call/1 in body of DL rule.

casts (and type changes) to eliminate MSVC 64-bit compiler complaints

Added simple read-write tests for utf-8.

First test of UTF-8.

Integrating in Neng-fa's changes. In particular, I created various
gets and puts using his code.

Including Neng-Fa's changes to the XSB loader, and created
get_byte,get_code,get_char,put_byte,put_code,put_char based on the
functions he included in token_xsb.c.

Integration of other builtins, such as atom codes, still remains to be done.

Some minor cleanup and improvements by Miguel Calejo.

Fixed bug in loading rule: execute(X) :- X.
(needed to handle variable before calling goal_cut_trans.)

Fixed assert to correctly transform clause like
execute(X) :- X.
and add the call wrapper correctly.