Renovate CI

This updates the CI a bit here and there and adds some new features:

• Merge request linting is only done on the diff between the new branch and master. This dramatically increases speed
• Full-code linting is still done in the nightlies pipeline on master
• A new target lint-cmake is format-checking and linting our CMake code (yes, sad this is even necessary...)

Enjoy.