Making Jenkins startup delay configurable, defaulting to 10s.