- work in progress for automata...
Updated the licence info and header for each file.Moved backends in separate folders
Prepared first stage of code reorg:1. moved type def in lustrespec.ml2. moved constructor and basic functions in corelang3. Modified eexpr with prenext quantifiers
Moved files to trunk in lustre_compiler