Consider using diff tool in CI

[klauer]

Diff tool from #36 could compare individual commits or entire PRs

Should we add this to the CI pipeline somehow so we don't have to manually execute it?

[ZLLentz]

I think it makes a lot of sense to run the diff tool against master on PR