Fixes bug 991730 - Fixed theming of ACE editor in non-dev environments.

@peterbe r? 

In production-like environments, the ``ace.js`` file tries to download the theme files (``theme-monokai.js`` and ``mode-json.js``) but it does so with an incorrect URL. I can't test the production-like set-up locally though, so this is a guess.