typo in the description of the -timeout option
printing of JSON stats on one line
datalog is now a submodule
build without ocamlfind
update of README
use TPTP env variable to look for included files
version 0.3 (using more recent file format for KB, encoded with Bij)