loongson/pypi: links for certora-cli-alpha-eyalf-show-cvl-functions-in-calltrace