- destination dir should now work properly
 - lusic files now have a version number, to avoid nasty segfaults
   when loading lusic files created by an older compiler version
 - inlining should now work with generic nodes and generic array library
 - tests_ok_dev.list has been added that focuses on advanced (but unused !)
   features of lustrec, avoiding the large 'kind' test files 

 - global constants were not accounted for
 - no good avoidance of name capture when inlining
 - static parameters (array sizes and clocks) not handled
 - ill-typed generated expressions, when inlining array expressions

 - a small problem in the parser
 - regarding the handling of destination directory, source directory, current directory, etc.
   It seems to be working now. A nice chasing after weird behaviors...

This annotation phases would have to be moved in optimization of normalized code

Changed the test-compile to use the horn-traces and the horn-queries option

Previously assert expression containing -> would lead to unnormalized ite. Now each expression within the assert is normalized and may bind new node equations.
This could be later optimized but is working now.

Revert the commit 384 by Xavier: adding dirname to the source_name introduced a bug: the .h file is empty!!! Strange behavior.

 useful for debugging and carrying correctness proofs to the C code level.
 non trivial result only when option -O 3 or above is activated.