CI: Build macOS binary without Vulkan if Vulkan SDK fails installing

It's not rare for this step to fail, either due to network errors,
or occasional changes in how the Vulkan SDK is distributed which require
editing our script.