#182 Enhance numbering of EBNF productions

[James Bostock]

This patch adds a new parameter, ebnf.continuous.numbering. The default value of this parameter is true which results in the behaviour without this patch: all the EBNF productions in a document are numbered sequentially, regardless of whether they occur in the same or separate productionset elements. If this parameter is set to false, the numbering of productions restarts at 1 for each new productonset element.

[James Bostock]

The ebnf.continuous.numbering patch

[James Bostock]

Removed old patch and added updated version that corrects a few omissions from the original.