Selection of NodeMCU as board in Arduino IDE