Move SonarQube check from Jenkins to GitHub

[ptziegler]

I frequently forget that we even have it, so I almost never check. Perhaps we can configure it as a GitHub action, so that the results are shown for a PR:

https://docs.sonarsource.com/sonarqube/latest/devops-platform-integration/github-integration/adding-analysis-to-github-actions-workflow/

[ptziegler]

Looking at PDE, it seems like you can configure the webhook to push more than just the build result. But given that I don't have sufficient permissions to do so, I likely need to create a Help Desk issue to get the necessary support.

[github-actions]

This issue is stale because it has been open for 90 days with no activity.