Update CBMC starter kit.

Mark R. Tuttle · markrtuttle · commit 1d093fa0a55f · 2020-10-23T13:32:45.000-04:00
diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit 5b1e58240e8d81aa02e410572c85ffbe09a4c8c0
+Subproject commit 36bff9ac9d4616a66629582758a82b0178c99112
