Adding info to downloads description

downloads/index.html

@@ -31,10 +31,12 @@ <h2>Installing OpenJML (Command Line Tool)</h2>
       <ul>
       <li> openjml -- the javac-like tool that does (static) deductive verification, 
        compiles a Java program with runtime assertion checks, and other functions.
-      <li> openjml-java -- a build of Java (java-21-ga as of 2023) but with JML libraries included
+      <li> openjml-java -- a build of Java (java-21-ga as of 2023) but with JML libraries included, helful for running RAC-compiled Java programs
       <li> jmlruntime.jar -- the JML runtime files needed when executing Java files with runtime checks compiled in
       <li> OpenJMLUserGuide.pdf -- a copy of the reference manual for the OpenJML tool
       <li> JML_Reference_Manual.pdf -- a copy of the JML (language) reference manual
+      <li> openjml-compile -- this script compiles a Java program that uses openjml capabilities programmatically
+      <li> openjml-run -- this script runs a program compiled by openjml-compile
       </ul>
 
       <p>Current versions of the pdf file are also available from <a href="../downloads">this web site</a>.</p>