Ensure to start Jenkins always with jenkins-env sourced first (#235)
Combine both production CI systems (#234)