Remove the unnecessary binaries after install

[mununki]

Thank you for filing! Check list:

• Is it a bug? Usage questions should often be asked in the forum instead.
• Concise, focused, friendly issue title & description.
• A minimal, reproducible example.
• OS and browser versions, if relevant.
• Is it already fixed in master?

• OS: macOS (M1)

There are unnecessary binaries after installation in node_modules directory. AFIK, most ppx packages which are shipped by npm are using postinstall script to remove the unnecessary binaries after installation. Isn't it preferable to remove it for users? If you want me to add the postinstall script, I'll contribute it.

[cknitt]

@mununki This would be superseded by #6183.

[cometkim]

Relying on postinstall scripts is not a good idea. Either for read/write. npm config set ignore-scripts true is a recommended setting for security reasons.

https://medium.com/cider-sec/npm-might-be-executing-malicious-code-in-your-ci-without-your-knowledge-e5e45bab2fed

[github-actions]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.