Make jenkins port configurable

@ppp0 please review