A few more small cmake changes
Coverity upload target