update Amandroid in Sireum-Option and CliBuilder