Factorize redundant code pattern.
Merge branch 'master' of https://github.com/ptal/nominal-workbench
A proposed approch for the def ast
Added mli to toplevel
Merge branch 'master' of https://github.com/ptal/nominal-workbench
Add the DTD and XML file describing the tests.
Add the testing program. It uses data/test/* files.
Remove old testing program.
Adapt the build system (makefile and ocp files). Use make test to test the program.
Avoid an automatic building with the option -configure.
Move the ast file to term_system, it doesn't compile.
Add missing files.
Solved compilation problem
Added missing file
Use term system error instead of a generic error (because error_code won't be the same.
Use a custom error_code for the term system and improve error code generation.
Add color to the testing engine.
Add a real error example.
Replace the error in the test XML file.
Little corrections