ESP32-S3-DevKit support

Thanks for the link, I'll read.

The truth is that I work with ESP32 (WIFI) and Espruino (Javascript) , and I'm very happy.

The reasons to start migrating are:

• new chinese gadgets come with ESP32-S3
  
• Two cores is very important for WIFI management without disturbing Espruino Input/Ouputs timings.
  
• ESP-IDF is on version 5.x. Me at the moment in 4.4
  
  

I think it's time to start migrating before the current ESP32 system becomes obsolete.