define JENKINS_OPTS so a derived image can customize jenkins launcher command line
defining some `ENV JENKINS_OPTS "..."`
Fix #21