micropython: unhardcode /bin/bash [MANUAL MERGE]

/bin/bash does not exist on odd unixen (BSDs, NixOS, ...). /usr/bin/env is the current de facto standard to get bash somewhat universally.