ci: Do not build docs when doing the Coverity build

This pulls the hotdoc dependency, which we don't have in this image. This is unnecessary, so disable docs here.