title: How to use options in a Jenkins scripted pipeline?
body: <p>I'm using a Jenkinsfile with a Scripted Pipeline.
  I would like to modify the <code>buildDiscarder</code> option for this pipeline, but I can't get it working.
  <a href="https://jenkins.io/doc/book/pipeline/syntax/#options" rel="noreferrer">https://jenkins.io/doc/book/pipeline/syntax/#options</a></p>
  
  <p>How to define pipeline options in a scripted pipeline?</p>