changes to handle Pico SDK 2.0 release

note that you MUST rm -rf build/ in both of these projects when upgrading SDKs.

also note that you should probably sudo apt remove picotool if you've already built from this repo.