Update saw-core submodule.

Brian Huffman · Brian Huffman · commit a8b929494b19 · 2020-08-21T09:08:45.000-07:00
This incorporates GaloisInc/saw-core#70, which suppresses the defaulting warning messages upon loading cryptol modules. Fixes #768.
diff --git a/deps/saw-core b/deps/saw-core
@@ -1 +1 @@
-Subproject commit 3ec1be28aeec1497643873246757a76f548c5cfe
+Subproject commit 97e08f331719efb4210876f15c7e89f07b8f8fcd
