Jenkins disabled

[Jakob Frank]

Since we're currently getting flooded by the jenkins server, I
disabled the notifications to the mailinglist for now.

Sergio and me will look into the configuration again and then enable
the notifications again.

Best
Jakob