- arrows are now factorized out and become part of include
   as files arrow.h and arrow.c
 - no more arrows in generated code
 - compiling and linking arrow.c is only necessary
   in case of dynamic allocation 
 - version now includes installation prefix (for the standard lib)
   and svn number

- added clock checking between interface and implementation files

Systematic use of the build path

 - added -d support
 - corrected #open parser problem
 - corrected interface/implementation (.lusi/.lus) checking
   for types (not yet for clocks)

The test target requires branch lustrec/horn as binary lustreh.

library (1.8.3) which is not widely available in distro repository.
Moreover "stable" sort is not necessary, sort will do.
Fixes Issue #49: https://cavale.enseeiht.fr/redmine/issues/49

Generation of a witness with both the main node  and hte inlined main node
Test script modified to check consistency of the inlining process

Has to be called with "-horn -node main_node"

The test script compute the smt2 file and calls z3 on them.