.gitlab-ci-main.yml: build coverity using --with-cluster-support