Machine-readable files for the SPIR-V Registry.