Merge pull request #2 from viditochani/master

Add sireum-jvm cli and update readme.
Added API to directly access global vars.