Setting up an ESP32 with Arduino IDE