Use nodepool to manage jenkins builders