Install extra options from jenkins_launcher.sh.