arduino ide for alternative boards


https://sandeepmistry.github.io/arduino-nRF5/package_nRF5_boards_index.json
http://arduino.esp8266.com/stable/package_esp8266com_index.json
https://github.com/tenbaht/sduino/raw/master/package_sduino_stm8_index.json
https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json

using arduino ide for raspberry pi Pico