Made editor.html work with require.js and static.py