gitlab-ci: Use Ubuntu 20.04 for Coverity