update scripts

scripts/install-frontend.sh

+#!/bin/bash
+
+# Installs the frontend.
+# Inputs: 
+# - REFINEDRUST_ROOT: the root directory of the RefinedRust checkout
+
+cd $REFINEDRUST_ROOT/rr_frontend && ./refinedrust install

scripts/install-typesystem.sh

+#!/bin/bash
+
+# Installs RefinedRust in the current opam switch.
+# Inputs:
+# - REFINEDRUST_ROOT: the root directory of the RefinedRust checkout
+
+opam install coq-lithium.dev $REFINEDRUST_ROOT
+opam install refinedrust.dev $REFINEDRUST_ROOT

scripts/setup-coq.sh

 #!/bin/bash
 
-# Installs RefinedRust in the current opam switch.
+# Installs RefinedRust's dependencies in the current opam switch.
 # Inputs:
 # - REFINEDRUST_ROOT: the root directory of the RefinedRust checkout