updating licence terms
Paring done, typing coded but parsed inputs not yet typed checked.

Counter example trace analyser implemented.
C statement informations integrated, to perform a mapping
between couter examples and C source that allowed to extract
the model.

Dot driver implemented.
Trace printed on dot output.
Incompletes traces are mapped on detailed model with Non deterministic
path when several are allowed.

Merge branch 'devel'
Merge branch 'typing_ast'

Merging typing_ast branch with master for puting online a pre_realease
version.
Merging with typing ast to prepare pre-release.

Merge branch 'typing_ast'
Now generating lib objects files .cma and .cmxa, in lib/ dir
as well as storing demo tools in a proper /bin directory
.mli files are copied into include dir.

Merge branch 'typing_ast'
Update of Readme

Merge branch 'typing_ast'
Adding .gitignore to force include lib/ bin/ and include/ dirs.

Merge branch 'typing_ast'
Block compression passes first critical test phase. PUshing on
branch master to replace the former faulty published version.

Merge branch 'typing_ast'
Typeching arithetic general expression. Getting type as well.

Merge branch 'typing_ast'
Adding type comparison for genereric arithmetic expression to
nts_generic.ml and making their access public trough its interface.

Merge branch 'typing_ast'
replacing type comparision implem by a smarter one
Making public exception Type_mis_match