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 data can be removed at all time
cc. @anlambert