Many updates, include major redesign port of diagramming library to svg.js, rework of tab editors, etc.