Include jq language specification in jqlang

[01mf02]

For the last months, I have been writing a formal specification of the jq language. In 01mf02/jq-lang-spec#1, @wader and @nicowilliams were sympathetic to the idea to make this repository part of the jqlang organisation. I think that the specification has now reached a point where such an inclusion could happen.
This step would benefit my work by increasing its visibility, and IMHO also benefit jqlang by featuring a formal specification.

I am also happy to accept contributions from other maintainers to augment the specification; for example, I have consulted with @itchyny on the topic of path-based update semantics, but did not document this in the specification yet.

TL;DR: Would you like to include my jq language specification into jqlang?