Add sireum-jvm cli

Add support for Sireum JVM command line.

Update README.rst to include Sireum Parser.