[Pharo-project] [Jenkins] Old Jenkins has been turned off

Hi, The migration is done! The old jenkins now is officially turned off, and we are running on the new one: https://ci.inria.fr/pharo/ Of course, like all move, there are some collaterals to fix, but the first milestone has been passed. TODO: -> Get the broken builds running -> fix VM builds -> use staging for the image and the vm later... Things we will see… -> Virtualized Mac Slaves -> A second Jenkins for community projects -> More slaves to speed up builds and much more. Marcus