tools/build.py: Add script for deploying to a static web server.

This populates https://micropython.org/pi/v2 with compiled packages,
suitable for use by `mip` and `mpremote`.

This work was funded through GitHub Sponsors.

Signed-off-by: Jim Mussared <[email protected]>

Author: jimmo

README.md

@@ -27,7 +27,6 @@ Other libraries are packages, in which case you'll need to copy the directory in
 Future plans (and new contributor ideas)
 ----------------------------------------
 
-* Provide compiled .mpy distributions.
 * Develop a set of example programs using these libraries.
 * Develop more MicroPython libraries for common tasks.
 * Provide a replacement for the previous `upip` tool.