Clean up BNF snippets in Ion 1.1 spec

We should double check the syntax of all BNF snippets in the spec. Some of them have comments using `//` instead of `;`. We should also add `bnf` to our `highlightJS` bundle to get highlighting of BNF snippets.
