Support for Raspberry Pico

It would nice if you can add support for the new Raspberry Pico microcontroller board. The board allows to be programmed in Python (MicroPython and CircuitPython) which is very popular in education. Also C is possible and Arduino is on the way.