Streamline coverity.sh and re-enable all Travis-CI targets.