Driving WS2811, WS2812 and other NeoPixel devices from ESP8266

So maybe the dedicated WS2812 driving code should just be included as well in the Espruino build for ESP8266? These are all valid points:

• Non-availability of HSPI on ESP-01 boards (soldering wires to a QFN package is practically not viable)
  
• Wasting 4 pins where only 1 is needed
  
• Drive more than one LED strip
  
• The increase in binary size is really small