Add Sireum JVM CLI
Update README.rst