add run script for simple cradle

compile_and_run.sh

@@ -0,0 +1,5 @@
+#!/bin/bash
+python scripts/pism.py proofs/simple.pism > src/simple_circuit.rs
+cargo fmt
+cargo run --release --bin simple
+