and add a dummy dvi target.

. fix bug in the script test.tmpl

. TEST(X) behaves like check-card i.e. checks the non-emptiness of X
. add 'remove' command into Acheck specs
. display a Warning message when two enums with no intersection are compared.

. check that sequential algo is idempotent.

parameters of arc commands are translated only if there already exists an entry in the translation table.

regenerated files