Jenkins: use Docker

Change-Id: Id7acbd8e217fc55668c8d1943f0464308fce62bc
2 files changed