A JavaScript diagramming library for HTML5