Merge remote-tracking branch 'origin/master' into alessandro_branch

Makefile

build.txt

doc/dev_infrastructure/Makefile

doc/dev_infrastructure/images/tp.pdf

doc/dev_infrastructure/ttool_development_infrastructure.tex

executablecode/Makefile

executablecode/Makefile.src

executablecode/generated_src/README

executablecode/src/asyncchannel.c

executablecode/src/asyncchannel.h

executablecode/src/request_manager.c

libs/batik-awt-util.jar

libs/batik-codec.jar

libs/batik-constants.jar

libs/batik-dom.jar

libs/batik-ext.jar

libs/batik-svggen.jar

libs/batik-util-1.13.jar

libs/batik-xml.jar

libs/xml-apis.jar