Announcing Draft WebAssembly core specification

Hello WebAssembly CG,

after landing the last outstanding pull request I am happy to announce the
first draft of a WebAssembly core specification:

  https://webassembly.github.io/spec/

This covers the core WebAssembly semantics and representation, including:

- module and instruction structure
- validation
- execution
- binary format
- text format
- implementation limitations (Appendix)

(The document does *not* include the specification of APIs for JavaScript
and Web embeddings, which we agreed to develop as separate documents,
reflecting the layered nature of WebAssembly and the possibility of
embedding it in different environments. Work on these documents will start
next; until then, JS.md
<https://github.com/WebAssembly/design/blob/master/JS.md> and Web.md
<https://github.com/WebAssembly/design/blob/master/Web.md> in the design
repo are still the main sources of API documentation.)

Comments and corrections are appreciated! Please report issues to the issue
tracker:

  https://github.com/WebAssembly/spec/issues

I will try to address all reports after I'm back from vacation later this
month.

Thanks,
/Andreas

PS: For some additional information, see also the brief presentation from
the July CG meeting:

https://docs.google.com/presentation/d/1R8_ut3gSTKdY1fkxKuk7ldo_4pmiY1PBsiGy-AeYHMI/