For programming an Espruino Pico see the "Advanced Reflashing" section of this page.
These are automatic builds of the development branch for the next release.