Copy artifact plugin in the jenkins wasn't correctly installed when we
recovered from the glitches in Inria infrastructure. I've installed the
plugin in the jenkins, however the jobs using the plugin prior to the
problem do not have this step any more in their configuration. We'll have
to add the step for red builds (i.e. copy required artefacts from the other
upstream jobs).
I've done it for a few but there are some jobs (GT-*) that I do not know
what to copy and from where so we need to go through the failing builds.