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