Shell tools about Android, Gerrit, Github, etc.