#125 Jenkins plug-in for setting a property on a build