SuccessChanges

Summary

  1. ci.inria.fr: modernize MinGW builds (details)
Commit 56c0b14558b96e571dd196d95c2f4c121029ad2a by brice.goglin
ci.inria.fr: modernize MinGW builds

* Move ci.inria.fr specific config to the slave profile
  so that we don't explicitly rely on a precis msys2 installation.
* Split 32bits and 64bits builds
  + Check that we're indeed running in the right msys/mingw 32/64 shell.
* Check that we found MSVC lib.exe early.
* Remove many options in the job, they were mostly useful
  when debugging the initial script itself.

New node labels mean we are switching from Win7 to Win10
with a recent MSYS2/MinGW-W64 install.

Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
(cherry picked from commit 262ea5d4e1e0ad1de30a374651055aa9eb998422,
including mingw parts of 777e69422278bc182d647d3d9faa29d0c240a303)
The file was modifiedcontrib/ci.inria.fr/job-3-mingw.bat (diff)
The file was modifiedcontrib/ci.inria.fr/Jenkinsfile (diff)
The file was modifiedcontrib/ci.inria.fr/job-3-mingw.sh (diff)