XTCE13 — BinaryContextAlarmList should be ContextAlarmList

Type in element name in BinaryParameterType. Possibly a duplicated but I couldnt find it.

Mistake in XTCE 1.2 Misnamed Binary Context Alarm Element

A mistake in the XTCE 1.2 specification work resulted in an element being misnamed. The change was not intended and introduces a gratuitous incompatibility.

The current XTCE 1.2 complexType for BinaryParameterType extends another complexType named BinaryDataType. Inside of that extension, an element is declared for "BinaryContextAlarmList":

<element name="BinaryContextAlarmList" type="xtce:BinaryContextAlarmListType" minOccurs="0">
<annotation>
<documentation xml:lang="en">Optionally describe one or more alarm monitoring specifications that are effective whenever a contextual match definition evaluates to true. The first match that evaluates to true takes precedence.</documentation>
</annotation>
</element>

Correct the declared name of the element to be just "ContextAlarmList":

<element name="ContextAlarmList" type="xtce:BinaryContextAlarmListType" minOccurs="0">
<annotation>
<documentation xml:lang="en">Optionally describe one or more alarm monitoring specifications that are effective whenever a contextual match definition evaluates to true. The first match that evaluates to true takes precedence.</documentation>
</annotation>
</element>