master
tools: add copyrighter for copyright modification
.gitignore: add ignore list for python
android: migrate to Android Studio build system
tools: remote --dissociate, make old git client happy
shell: use more portable way to ensure bash