Update CBMC to 5.7

FrNecas · FrNecas · commit acbeed7801eb · 2021-03-03T10:31:52.000+01:00
Signed-off-by: František Nečas &lt;frantisek.necas@protonmail.com&gt;
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 7ac49c6c1d53c7689d586b54945949fd3b8ad51e
+Subproject commit 445cee236eaa1023dc31fed9541f88b97b9146d4
