Update Pico SDK to 1.5.1

Clean up NSIS download

The special build with logging enabled is no longer needed because we are now saving the displayed log.

Release v0.5.0

Release v0.4.0

Update links

Release v0.3.8

Clean up paths, fix VS Code launch script

Name shortcuts consistently

- The VS Code shortcut now closes the terminal after Code is launched

Better handling of the SDK version

Add standalone build, remove VS dependency