Convert SpecKit Specs to OCDSpec2