databases/mongodb-tools: 100.12.0

"This version adds support for MongoDB Server 8.1, along with security updates and bug fixes."

Changes:
https://github.com/mongodb/mongo-tools/blob/master/CHANGELOG.md#100120

Security: CVE-2025-30204 jwt/v5@v5.2.1
Security: CVE-2025-22870 net@v0.34.0
Security: CVE-2025-22869 crypto@v0.32.0