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