Advance template submodule for cbmc proofs to latest version

Mark R. Tuttle · markrtuttle · commit 49467f67f61e · 2021-10-15T10:17:13.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 7fdd7048b01e68fd549e20da1d216e34d719043a
+Subproject commit cc3da9dd37d47abce6525128abe12dbb87891637
