Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool

build.txt

doc/dev_infrastructure/.gitignore

doc/dev_infrastructure/ttool_development_infrastructure.tex

src/ddtranslatorSoclib/toSoclib/TasksAndMainGenerator.java

src/ddtranslatorSoclib/toTopCell/Code.java

src/ddtranslatorSoclib/toTopCell/Declaration.java

src/ddtranslatorSoclib/toTopCell/NetList.java

src/ui/DefaultText.java

src/ui/TGComponentManager.java

...odocus/fr.tpt.ttool.tests.diplodocus.simulator/.gitignore

tests/util/fr.tpt.ttool.tests.util/.gitignore

tests/util/fr.tpt.ttool.tests.util/bin/.gitignore