Miscellaneous CI checks for code style, boards.txt update, and that all referenced packages are available.
Using the official Raspberry Pi Pico datasheet and the Adafruit Feather RP2040 schematic, set the default pins for peripherals to match. Fixes #92
Also fix the initial pins for the 2nd I2C interface onboard.