Jenkins retired

This Jenkins instance has been retired. All his jobs have been dumped on GitLab