Add Sireum JVM CLI
Update README.rst
Remove Sireum Translator from sirum-tools.
Merge pull request #2 from viditochani/master

Add sireum-jvm cli and update readme.