Support special keyword in the Jenkins CI to temporarily disable it

It's sometimes useful to be able to do the following:

```
@jenkins-cscs retry none
```

Then the CI should simply report success and exit.

A usage scenario is when the documentation is updated and when we want to temporarily disable CI because of systems not being available.