add some setup scripts for consumers of refinedrust

scripts/setup-coq.sh

+#!/bin/bash
+
+# Installs RefinedRust in the current opam switch.
+# Inputs:
+# - REFINEDRUST_ROOT: the root directory of the RefinedRust checkout
+
+cd $REFINEDRUST_ROOT
+eval $(opam env)
+opam repo add coq-released https://coq.inria.fr/opam/released
+opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
+
+# install deps
+opam pin add coq-lambda-rust.dev https://gitlab.mpi-sws.org/lgaeher/lambda-rust.git#rr --no-action -y
+export OPAMFLAGS="$OPAMFLAGS -y"
+make builddep

scripts/setup-rust.sh

+#!/bin/bash
+
+# Installs rustup and builds the frontend.
+# Inputs: 
+# - REFINEDRUST_ROOT: the root directory of the RefinedRust checkout
+
+cd $REFINEDRUST_ROOT
+cargo install rustup-toolchain-install-master
+./rr_frontend/rustup-toolchain
+./rr_frontend/refinedrust build