title: jenkins pipeline options timeout and then notify
body: <p>I have made use of </p>
  
  <pre><code>options {
          timeout(time: 10, unit: 'MINUTES') 
      }
  </code></pre>
  
  <p>But I would like to be able to have an action on timeout eg slackNotification etc</p>
  
  <p>Is there any way to achieve this</p>