added amandroid cli
revert SireumCli