A jQuery plugin for rendering ebnf diagrams