CI: compare with origin/master instead of HEAD

Currently in many jobs we are comparing with HEAD instead of origin/master which is the target branch. In most cases this will need to change.

Actually we should do git diff origin/master...HEAD