Use Jenkins' Groovy facility to attach a label to the current build

Of course, only if we're running inside Jenkins...

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>