Add Pico W support

[sbgaia]

This pull request updates the LED reactor, allowing it to work seamlessly with both standard Raspberry Pi Pico devices and Pico W devices (which use a different mechanism for controlling the onboard LED).

Changes:

• Added new helper functions pico_led_init and pico_toggle_led in the Led.lf preamble to handle LED initialization and toggling for both standard Pico and Pico W devices, using conditional compilation to select the appropriate method.
• Modified CMakeLists.txt to link against the pico_cyw43_arch_none library when building for Pico W devices, ensuring the correct driver support is included.