PICO_SDK_VERSION does not match latest pico-examples due to CMAKELists.txt updates.

[Jakio815]

Lab exercises 3. Tools and Environments needs updates on raspberry-pi/pico-examples.

The cmake file now requires the PICO_SDK_VERSION over 2.0.0, however, we use 1.5.1.

I am just bypassing it by downgrading the version to 1.3.0 as usual, and it works.

Are we planning to upgrade the Raspberry Pi Pico SDK version?