Fix #2

Javascript-files were added once every time a
code-editor was encountered in a page and so
multiple copies of the same Javascript were
loaded in some pages. This should fix this issue.