Create specification/formal description of Generator

[kerimoyle]

We need a place to point users to from the libcellml error messages regarding problems in the Generator. At the moment the reference is the Specification section, but the generator is not related to the spec.