Changes in ESP32.py to have only available pins, for example without pin 20, and to define ADC and UART pins. Added interrupt handling for GPIO pins to support setWatch. Based on description in driver/gpio.h
Added functions for handling Flash to jshardware.c Added -$I for esp_spi_flash to makefile Changed settings for save() in ESP32.py