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