k0.7.3
android: migrate to Android Studio build system
tools: remote --dissociate, make old git client happy
shell: use more portable way to ensure bash