[ref] Move arduino library to external repo
Merge branch 'master' into split-projects

Conflicts:
	.gitmodules
	arduino/lib/hal