[PATCH v3 3/4] ci: Build vkd3d with SPIRV-Tools.