Add ODIN spec to specifications, converted from the dADL part of the ADL spec.