Add tutorial config and tutorial patches

scripts/tutorial-setup.sh

@@ -0,0 +1,11 @@
+#!/bin/bash
+
+set -e -x
+
+rm -rf generators/sha3
+
+for p in scripts/tutorial-patches/*.patch
+do
+    echo "Applying tutorial patch $p"
+    git apply $p
+done