XSB Src (SVN)-old

rm config.status before each run of configure. config.status causes undesirable caching in multiplatform installs

Made it possible to add statically compiled .o files from an external directory.
This is done by putting emuMakefile.h in the arch_config_dir. This is useful because dynamic libraries are harder to make, especially on Windows.

In heap_xsb.h: include sys/types.h so that heap_xsb.h could be included by itself, without heap_xsb.c

added insert_cpred() for PRISM integration.

nothing special: configuring using cygwin changed file modes and eols in the previous commit. reverting them to what they were before, when configured using normal unices.

64 bit cygwin gcc has no -mno-cygwin, so I disabled it for cygwin64
loader.c was using a nonportable stricmp for cygwin. Replaces with strcasecmp.

Allows failure of timed_call handlers to fail the call.

Forgot to commit dynamic_predicate_has_clauses

added .\ to cd's so that cdpath and such won't affect the result of cd.
fixed a typo in builtin.tex

Test of dynamic_predicate_has_clauses.

Added a new predicate dynamic_predicate_has_clauses that allows a quick check of whether a dynamic predicate
does indeed have clauses -- without laying down a choicepoint. The predicate is a wrapper for dynpredep_to_prref.

slginsts_xsb_i.h -- just a line of documentation.