GitLab

Because the build of python makefile takes time and is irrelevant for
user skeletons

the control law is not accurate, it lets the lift bump in the
underground before it reaches the required floor :-)

Results are now displyed immediately, and build log is created on the fly
in case of error.

makefiles

ref https://github.com/OpenAADL/ocarina/issues/225

checking that if PI and RI have different names, the corresponding port
names follow

Now it passes regression

save test report in a file, to avoid polluting the screen

in some configurations, time cannot be called from makefiles