Moving to ESP-IDF release 3.0, and some Bluetooth, and ....

For a day or so, V3.0 is released.
We've been waiting long time for this step.
My plan now is, to get Espruino running with actual sources, which are

• Espruino itself
  
• ESP-IDF V3.0
  
• Bluetooth support for ESP32
  
• support PSRAM in WROVER boards giving us 20000 jsVars (or more ?)
  
• support of BLE serial (NRF UART) is under development. Windows 10 Is not really helpful for that. This will take some time.
  -last not least documents
  Everything will be done first in ESP32 branch.
  
  

There are some restrictions like

• reduce jsvars to 2500, I'm just testing with 3000 and got no problems(yet). If you need more, WROVER boards are available. Last not least, there is somebody in the ESP32 forum adding a 8MB PSRAM, priced less than 1$
  
• Bluetooth eats memory like crazy. Size of binary, including BLE Uart and bonding is 1280KB. There is a build option to build Espruino without Bluetooth, but even that is really big
  
• do we need OTA for ESP32 ? Flashing more than 1MB over the air, is this really helpful ? It reduces available Flash a lot.
  
  

Once this upgrade to V3.0 is done and works fine, next steps are

• merge ESP32 branch into master. For this step @Gordon is the man
  
• upgrade EspruinoBuildTools to V3.0. This is a tool from @Wilberforce, so he has the knowhow
  
  

Please take my plan as starting point only.
Any comments, especially from guys (hopefully) involved, are welcome.