Add more extension jobs
Remove tmp_check directories after postgresql build

This saves disk space.
jenkins-config-diff: Ignore workspaces from concurrent builds