add 10KB of RAM to your esp8266

And the latest builds are now at: http://www.espruino.com/binaries/travis/­master/

Note: ironically Espruino and Pico builds won't work out of the box, because when flashed to the board they need offsetting by the bootloader size (16384 on the Pico, and 10240 on the Espruino board).