We want to keep diagrams separate from our Eclipse plugins because
Sprotty is not available as Eclipse plugins.