• Update to version 1.5.1

A full list of changes since version 1.4.1 can be found at
https://github.com/micropython/micropython/releases.

Changelog: https://github.com/micropython/micropython/releases/tag/v1.5.1