How to build Raspberry Pi Pico projects with Microsoft Visual Studio Code