esp32/modules: Add support scripts for WebREPL.

WebREPL now works on the esp32 in the same way it does on esp8266.

ports/esp32/modules/inisetup.py

@@ -34,5 +34,9 @@ def setup():
     with open("boot.py", "w") as f:
         f.write("""\
 # This file is executed on every boot (including wake-boot from deepsleep)
+#import esp
+#esp.osdebug(None)
+#import webrepl
+#webrepl.start()
 """)
     return vfs

ports/esp32/modules/webrepl.py

@@ -0,0 +1 @@
+../../esp8266/modules/webrepl.py

ports/esp32/modules/webrepl_setup.py

@@ -0,0 +1 @@
+../../esp8266/modules/webrepl_setup.py

ports/esp32/modules/websocket_helper.py

@@ -0,0 +1 @@
+../../esp8266/modules/websocket_helper.py