Don't leak our Coverity token in the Travis log and use a new token to r...

...eplace the leaked one