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