Create a cronjob that posts a pull request to Kani, that bumps the version of CBMC and CBMC Viewer to the latest version in kani-dependencies.

The cronjob should then send an email to oncall with a link to the PR. Oncall should simply have to approve and merge the PR.

Unit tests for that PR should be sufficient to discover potential issues with upgrading CBMC versions.