Many updates, include major redesign port of diagramming library to svg.js, rework of tab editors, etc.
Merge branch 'master' into gh-pages
Uncomment analytics