loongson/pypi: links for certora-cli-alpha-otakar-lxfaddedtoconfig

loongson/mirror certora-cli-alpha-otakar-lxfAddedToConfig-20230502.16.14.338125.tar.gz
loongson/mirror certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125-py3-none-any.whl