Install extra options from jenkins_launcher.sh.
Merge branch 'configuration'