Enhance Jenkins/GitLab integration config
- Make jenkins react to MR notes of the form "@jenkins (please) retry (the) build"
- Have jenkins build WIP merge requests by default
cc. @anlambert
Staging instance, all changes can be removed at any time
cc. @anlambert