How to use setBootCode?

@wilberforce ,tested new version on ESP8266 512KB
@gordon ,should this be moved to ESP8266 ?

• combined version (espruino_1v86_esp8266_combined_512.bin)­ from http://www.espruino.com/binaries/ works fine.
  
• creating my own combined version (some extensions to handle WS2812 matrix) works fine
  
• flashing from tgz-file in travis does not start
  
• creating my own flash based on last version from github does not start
  
• creating my own tgz without crypto and graphics works fine
  
  

So, there is a problem with my flashing, any idea ?
I'm using the nodemcu firmware programmer with:
boot_v1.4(b1).bin to 0x00000
espruino_esp8266_user1.bin to 0x01000
blank.bin to 0x7e000