Make number of jenkins executors configurable

@ppp0 please review