Add sireum-jvm cli and update readme.

Add Sireum JVM command line(no external dependency). 

Add Sireum Parser to readme.