Release SDK 1.5.0 ยท raspberrypi/pico-sdk

This release contains new libraries and functionality, along with numerous bug fixes and documentation improvements. Highlights are listed below, or you can see the full list of individual commits ...