ogma-language-smv: Support MTL operators with number ranges. Refs nas…

…a#101.

The current parser for the SMV language does not support MTL operators with
number ranges as arguments to MTL operators. The only syntax currently
supported is using <MTLOperator>[<ComparisonOperator><Number>], where is a
numeric comparison operator like <=, <, and so on.

This limitation makes some of the component specifications produced from FRET
not parseable with Ogma.

This commit extends the grammar to support MTL operators with number ranges.
The prior syntax is also supported and kept as is.

ogma-language-smv/grammar/SMV.cf

@@ -83,8 +83,9 @@ BoolConstFalse. BoolConst ::= "FALSE";
 BoolConstFTP.   BoolConst ::= "FTP";
 BoolConstLAST.  BoolConst ::= "LAST";
 
-Op1Alone . OpOne ::= Op1Name;
-Op1MTL.    OpOne ::= Op1Name "[" OrdOp Number "]";
+Op1Alone .   OpOne ::= Op1Name;
+Op1MTL.      OpOne ::= Op1Name "[" OrdOp Number "]";
+Op1MTLRange. OpOne ::= Op1Name "[" Number "," Number "]";
 
 NumberInt . Number ::= Integer;
 _ . Number ::= "<b>" Number "</b>";