Merge pull request #11 from fgwei/master

Put Amandroid as public component of Sireum
Regen'd CLI after Amandroid addition.
Updated script files to most recent version of packages.
Merge pull request #12 from fgwei/master

change header info for Amandroid
Lib upgrades.
Lib upgrades.
Added egit packaging script.
Fixed rep and rep2 partial functions.