Merge branch 'release/v5.1.0' #154

Job	Run time
build (ubuntu-latest, examples/arduino-blink)	1m 39s
build (ubuntu-latest, examples/arduino-external-libs)	40s
build (ubuntu-latest, examples/arduino-internal-libs)	33s
build (ubuntu-latest, examples/arduino-own-src_dir)	21s
build (ubuntu-latest, examples/assembly-blink)	21s
build (ubuntu-latest, examples/digitstump-mouse)	21s
build (ubuntu-latest, examples/engduino-magnetometer)	27s
build (ubuntu-latest, examples/native-blink)	17s
build (windows-latest, examples/arduino-blink)	8m 56s
build (windows-latest, examples/arduino-external-libs)	1m 24s
build (windows-latest, examples/arduino-internal-libs)	1m 20s
build (windows-latest, examples/arduino-own-src_dir)	1m 4s
build (windows-latest, examples/assembly-blink)	59s
build (windows-latest, examples/digitstump-mouse)	59s
build (windows-latest, examples/engduino-magnetometer)	1m 17s
build (windows-latest, examples/native-blink)	1m 5s
build (macos-latest, examples/arduino-blink)	1m 59s
build (macos-latest, examples/arduino-external-libs)	55s
build (macos-latest, examples/arduino-internal-libs)	43s
build (macos-latest, examples/arduino-own-src_dir)	30s
build (macos-latest, examples/assembly-blink)	25s
build (macos-latest, examples/digitstump-mouse)	31s
build (macos-latest, examples/engduino-magnetometer)	39s
build (macos-latest, examples/native-blink)	22s
	27m 47s

Provide feedback