Makes the coverity scan neither download of the Coverity Build Tool nor execute any of the following steps for forked repositories, avoiding sending GitHub alerts to those repo owners.