CI Infrastructure down Sun evening to Monday evening

Due to large scale maintenance of the Inria server infrastructure on monday 11/11
(which is a holiday here), we will shut down the slaves of the CI setup
Sunday evening.

Everything then should be online again the Monday evening.

        Marcus