coverity: move the secret token out of $HOME/osmo-ci/.../
When the token has been moved, the jenkins Coverity job is independent from the static path $HOME/osmo-ci.
- find a new path for the token
- modify coverity/*.sh scripts
- modify the jenkins job osmo-ci/jobs/coverity.yml