jenkins: add build-name-setter plugin

Used by some existing jobs.

Signed-off-by: Fathi Boudra <fathi.boudra@linaro.org>
Change-Id: If451a1f1568a23561a3d285d98b8deca16a363fe
1 file changed