Merge branch 'relocatable-build-dir' of github.com:lurch/micropython into lurch-relocatable-build-dir