Make number of jenkins executors configurable