This commit was manufactured by cvs2svn to create tag 'pre-release-2-0'.
Fixed problem in arithmetic tests that are deep and need flattening.
Fixed a problem in the call of longjmp in xsb_abort(): pass pcreg instead of 1.
Minor fixes
*** empty log message ***
Made it exit if typo in command line goal.
* fixed bug when compiling with --enable-chat
Changed interpreter/0 for aborting and seg fault handling.
Changed two xsb_segfault_message strings.
