jenkins tools: improvements to jenkins rotation script
Merge branch 'master' into ENG-3239
imports and comments.