How to Set Parameters in a Jenkins Pipeline Script