chore: fix generate-bot-super-report tool

[gre]

📝 Description

the tool has been broken due to fetch() api changes between web and node.js around the stream APIs. We also take opportunity to filter the "name" of the artifact to reduce number of pagination we will need to do.

also fix some TypeScript.

de2a012#commitcomment-131909173

❓ Context

• Impacted projects: tools
• Linked resource(s): [na]

✅ Checklist

• Test coverage
• Atomic delivery
• No breaking changes

📸 Demo

🚀 Expectations to reach

Please make sure you follow these Important Steps.

Pull Requests must pass the CI and be internally validated in order to be merged.

[changeset-bot]

⚠️ No Changeset found

Latest commit: f8f3e8e

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

5 Ignored Deployments

Name	Status	Preview	Comments	Updated (UTC)
ledger-live-docs	⬜️ Ignored (Inspect)	Visit Preview		Nov 7, 2023 11:51am
ledger-live-github-bot	⬜️ Ignored (Inspect)	Visit Preview		Nov 7, 2023 11:51am
native-ui-storybook	⬜️ Ignored (Inspect)	Visit Preview		Nov 7, 2023 11:51am
react-ui-storybook	⬜️ Ignored (Inspect)	Visit Preview		Nov 7, 2023 11:51am
web-tools	⬜️ Ignored (Inspect)	Visit Preview		Nov 7, 2023 11:51am