update the Arduino demo

Merge remote-tracking branch 'origin/6-can-not-iterate-over-the-plus-node-as-long-as-it-is-named-plus'

nb: i should really add 'make test' in the git commit hooks!

update the Arduino demo

Remove unused files along the way (myGenlex.ml/mli)

By not catching errors, rdbg and (thus) lurette were silently do nothing
in presence of errors in Lustre files.

The idea is to be able to take into account clock in node profiles
when generating the main simulation loop, and to avoid to read inputs
that are not present.

add and install an alias to lus2lic name lv6.

lus2lic --gen-autotest now overrides existing _oracle*.lus and _env*.lut files

The generated code for tests on boolean output was wrong. Indeed, it
was generating

  if (o1 == _true) {

instead of

  if (*o1 == _true) {

nb : a warning was emited

Add code to support empty arrays (not yet working)

BTW, fix iterator handling which was not working from SocExecDbg

BTW, fonctionalise the corresponding non-debug code.

+ fix a (invisible) bug in lic2soc: the same action was generated twice.

Basically, I have added the missing fields

Basically, I have added the missing fields

It was also the case in L2lRemovingAlias, but the bug in L2lExpandNode was
happening before.

nb: the 2 tests that now pass pass for other reasons (because of a change in
rdbg 1.108)

I've done the same fix in LicDump actually to be sure (more parenthesis can't hurt).

fix carligths.lus which was badly initialized

And it is now done only by Lic2soc (L2lCheckLoops is not used anymore)

Also, during this change, I was bitten again by the « "__" versus "::" in ident
names » problem again.

The core of this problem is due to the fact that I use LicDump both for
(1) dealing with internal ident names
(2) generating lustre files

Because of (2), ident names may depend on the ec or the v4 option. hence, internal
names were sometimes translated with "__" instead of "::".

To (try to) fix that, I've added a boolean flag to all "to_string" functions that
states whether the function is used for internal purposes, or for generating lustre
files.

It was quite a boring change, that triggered other problems, that I've fixed
in this (too long) commit :
 - -esa should force -en, otherwise bad things happen (-esa is used for -ec anyway)
 - in -esa mode, #/nor inputs tuples of bool, not arrays
 - fix the list of predi op that returns a type different that its arg (SocPredef)

It is useless (I hope) and it sometimes creates combinatory loops.