RFC: release musl binaries

[foxyseta]

Proposal

Releasing musl binaries would make much easier for users using musl-based distros to install Lean on their machines. In addition, most lightweight containers are generally based on a musl-based distro, too (Linux Alpine).

As Lean for is still under active, intense development, I suppose this could wait(?). Anyway, 👍 are very much appreciated.

Community Feedback

Pitched this idea on Zulip previously. Waiting for feedback.