Don't leak our Coverity token in the Travis log and use a new token to replace the leaked one