This commit adds a CI check (on GitHub Actions) that checks every commit in a PR for accordance to our commit guidelines.