move amandroid mode to top level
modify Amandroid.scala
update sireum
fix some bugs
Merge remote-tracking branch 'upstream/master'
Merge pull request #11 from fgwei/master

Put Amandroid as public component of Sireum