[spirv] Update SPIRV-Tools and SPIRV-Headers (#3074)

* Update SPIRV-Tools and SPIRV-Headers

* SPIRV-Tools build has changed slightly
  * SPIRV-Tools-static is now the target to use instead of plain
    SPIRV-Tools

* Update SPIRV-Tools further

external/CMakeLists.txt

@@ -38,7 +38,7 @@ if (${ENABLE_SPIRV_CODEGEN})
   endif()
 
   set(SPIRV_DEP_TARGETS
-    SPIRV-Tools
+    SPIRV-Tools-static
     SPIRV-Tools-opt
   )
 

external/SPIRV-Headers

@@ -1 +1 @@
-Subproject commit ac638f1815425403e946d0ab78bac71d2bdbf3be
+Subproject commit 3fdabd0da2932c276b25b9b4a988ba134eba1aa6

external/SPIRV-Tools

@@ -1 +1 @@
-Subproject commit fc0dc3a9c734f798f85a8433cbd99306dbe82825
+Subproject commit 13a65b1aee425a97b9ca73d81212d99fd2bf9227