Drop Jenkins pipeline, replaced by GitLab CI
The Jenkins pipeline has been disabled and the schedule for the GitLab CI pipeline has been set up, let's get now rid of the Jenkinsfile.
Note that the removed Jenkinsfile got broken by !13 (merged) and !15 (closed) was needed to fix it, but this got landed in the meantime.