pico is recognized

Dependencies:   max32625pico mbed SerialInterface USBDevice

algorithm/algorithm.cpp/shortlog@7c0fb55eb3ff: not found in manifest