picoprobe_config: split board-related pin setup into separate header files
Picoprobe allows a Pico / RP2040 to be used as USB -> SWD and UART bridge. This means it can be used as a debugger and serial console for another Pico.
Picoprobe documentation can be found in the Pico Getting Started Guide. See “Appendix A: Using Picoprobe”.