Jenkins gallio plugin