Installing the ESP32 Board in Arduino IDE (Windows, Mac OS X, Linux ...