define JENKINS_OPTS so a derived image can customize jenkins launcher command line
defining some `ENV JENKINS_OPTS "..."`
Fix #21
Merge branch 'master' into weekly