bump jenkins version to make CI green

[car-roll]

There might have been a bit of a race condition with the merging of #125 and #129 that is causing build failures on the main branch. Basically, the edu.umd.cs.findbugs.annotations package cannot be found.
Bumping the jenkins version solves this issue and makes CI green again.
This is needed for #133 and technically the other outstanding pull requests.

cc @bitwiseman @jglick

• Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
• Ensure that the pull request title represents the desired changelog entry
• Please describe what you did
• Link to relevant issues in GitHub or Jira
• Link to relevant pull requests, esp. upstream and downstream changes
• Ensure you have provided tests - that demonstrates feature works or fixes the issue

[car-roll]

@bitwiseman friendly ping to take a look at this PR
Would you also be able to grant me write access to this repo? Then I can go cleaning up the remaining PRs. I do have release permissions already on RPU.

[jglick]

I do have release permissions already on RPU.

In that case I think you can ask Jenkins admins to align GH permission with the RPU list.

[car-roll]

@jglick thanks! is that just through the dev-mailing list?

[jglick]

https://github.com/jenkins-infra/helpdesk/issues/new?labels=github-permissions&template=2-github-permissions.yml I guess.