Merge pull request #10 from fgwei/master

update Amandroid in Sireum-Option and CliBuilder
Fixed scheduling for assert and assume. Fixed isNormal state check to
take into account assumption breach.
added pretty print support for complex locs and ext call actions
adding dp timeout and int bits options to bakar kiasan, passing waitTime
arg to z3 if > 0