Add OpenZeppelin Canton tools to the catalogue

[pepebndc]

What

This PR adds five OpenZeppelin tools to tools.json and updates the existing Canton Token Template entry.

New entries (all type: partner, category Smart Contract Dev):

• OpenZeppelin Canton Contracts: reusable Daml components, including a Token Standard V2 (CIP-0112) token package and a CIP-0086 allowance component. Daml SDK 3.4.11.
• Canton Stablecoin: a complete stablecoin implementation on the Canton Token Template. Daml SDK 3.4.10.
• daml-lint: a static analysis scanner for Daml contracts with security detectors and SARIF output. Validated against Daml SDK 3.4.11 sources.
• daml-props: property-based testing for Daml invariants. Daml SDK 3.4.10.
• daml-verify: Z3-backed formal verification for narrow Daml invariants. Validated against Daml SDK 3.4.11 sources.

Updates to the existing Canton Token Template entry:

• Set daml_sdk_version to the exact version 3.4.10 (from simple-token/daml.yaml).
• Set dev_fund to true. This work is funded by the Canton Foundation Dev Fund (approved proposal).
• Note the migration path to Token Standard V2 (CIP-0112) in the description.

Checklist

• The entries are valid JSON (verified with python3 -c 'import json; json.load(...)').
• All URLs are live and return a working page.
• type is partner for every entry.
• category matches an existing category.
• Descriptions are specific and free of marketing language.
• daml_sdk_version is set to the exact version each tool is built against or validated with.
• maintained_by is OpenZeppelin for every entry.
• dev_fund is true: these tools are funded by the Canton Foundation Dev Fund.
• last_updated reflects the latest release of each tool.
• OpenZeppelin tracks Canton Network and DPM releases and will submit update PRs when the SDK version moves.

🤖 Generated with Claude Code