Put Amandroid as public component of Sireum