Re: jenkins build slaves: Rationale for some builds in docker vs. some not?