create an editor.js

[a-gerhard]

It's nice for development to have the editor split into many files, but it has the drawback that it takes the broser .5 seconds to load this. Instead, we should create a single js out of the splitted editor (plus dependencies) to speed things up.
This is created by the django server on startup and cached.