Convert SpecKit to OCDSpec2