loongson/pypi: links for certora-cli-alpha-rahav-cert-1982

loongson/mirror certora-cli-alpha-rahav-cert-1982-20230502.9.6.134929.tar.gz
loongson/mirror certora_cli_alpha_rahav_cert_1982-20230502.9.6.134929-py3-none-any.whl