Latest Espruino build for Esp8266

Hmm - let me check - does not work for ESP12

erase_flash

esptool.py --port /dev/cu.usbserial erase_flash
esptool.py v2.0-dev
Connecting...
Detecting chip type... ESP8266
Uploading stub...
Running stub...
Stub running...
Erasing flash (this may take a while)...
Chip erase completed successfully in 8.6s

write_flash:

esptool.py --port /dev/cu.usbserial --baud 460800 write_flash --flash_freq 80m --flash_mode qio --flash_size 4MB 0x0000 boot_v1.6.bin 0x1000 espruino_esp8266_user1.bin 0x37C000 esp_init_data_default.bin 0x37E000 blank.bin
esptool.py v2.0-dev
Connecting...
Detecting chip type... ESP8266
Uploading stub...
Running stub...
Stub running...
Changing baud rate to 460800
Changed.
Attaching SPI flash...
Configuring flash size...
Wrote 16384 bytes at 0x00000000 in 0.4 seconds (350.1 kbit/s)...
Hash of data verified.
Wrote 491520 bytes at 0x00001000 in 11.4 seconds (345.4 kbit/s)...
Hash of data verified.
Wrote 16384 bytes at 0x0037c000 in 0.4 seconds (353.0 kbit/s)...
Hash of data verified.
Wrote 16384 bytes at 0x0037e000 in 0.4 seconds (353.4 kbit/s)...
Hash of data verified.

Leaving...