Make number of jenkins executors configurable
Merge pull request #691 from njam/jenkins-executors

Make number of jenkins executors configurable