ESP32 #1: ESP32 arduino and esp-idf installation (esp-32 / esp3212)