BATs are built automatically now.

* BATs generate a *.h and a *.c file
* Each BAT is a single *.so
* Clauses are now obtained with init_bat() instead of the
  DECL_ALL_CLAUSES macro
* In ECLiPSe-CLP, one shall first load the BAT's *.so, then the
  ec_interface.so, and then use the external holds/1 predicate;
  an interface to init_bat() is coming up
FindECLiPSe-CLP module for cmake.

The ECLiPSe-CLP headers must be located in eclipse/*.h,
e.g., /usr/include/eclipse/eclipse.h etc.
Updated readme.
FindProlog module for cmake.
Merge branch 'master' of github.com:schwering/esbl
Added context to ECLiPSe-CLP interface.

Ongoing work.
Fixed ECLiPSe-CLP interface bugs; found problem with GC.

ECLiPSe-CLP doesn't like Boehm GC.
Property 2 leads to segfault.
Added example binaries to .gitignore.
Fixed: query_ennf() didn't propagate negations properly.

The pushed-inside negation was essentially ignored at literal level.
pred_t is long int now; introduced MAX_PRED.

The only practical advantage over int is that it has the same size as
void* and we can thus use it with our containers.

Like MAX_STD_NAME, BATs define a MAX_PRED now.
Fixed (possibly): garbage collection issue with ECLiPSe-CLP.

When NO_GC is defined before including memory.h, normal malloc() is used
instead of GC_MALLOC(). It looks like it's enough if ec_interface.c and
thus libEclipseESBL doesn't use Boehm GC; libESBL may still do.
ECLiPSe-CLP correctly handles non-BAT predicates.

Like standard names, they are mapped to distinct new predicates.
Added email address to a few headers.
Added [store|retrieve]_context/2 predicates and Prolog KR-2014 example.
Added Prolog ECAI-2014 example.
Merge branch 'master' into esf

Conflicts:
	bats/demo.h
	bats/proper-plus.pl
ECLiPSe-CLP interface can handle ESF results now.

context_exec/4 takes a list of positive and negative sensing results.
It's the ESF counterpart of context_exec/3 from ES[B]L.