a jenkins plugin supporting dynamic label assignment