Update Coverity token, which seems to have changed