Securely run Certora CI tests from PRs originating from forks of celo-monorepo

[kevjue]

An outside contributor made a change to the GoldToken smart contract with this PR.

However, @lucasege figured out that the Certora tests were not able to run because it's license key was not being added to the CI environment variables because of this reason: https://discuss.circleci.com/t/environment-variable-not-set-if-build-triggered-by-someone-who-is-not-me/33048/2.

To get around this, I created an intermediate PR in our celo-monorepo that is a replica of the original PR.

This obviously adds a lot of friction, so we should be able to run the Cetora tests for outside PRs without having to do this.

[github-actions[bot]]

This issue is stale and will be closed in 30 days without activity