Editor - convert to new Spice APIs

Fix for issue #691 - I like this IA, let's make it available!

Desktop - JavaScript:
![screen shot 2014-08-05 at 14 58 59](https://cloud.githubusercontent.com/assets/3652195/4075820/6469b130-2eb4-11e4-91b5-3183925dc482.png)

Desktop - Python:
![screen shot 2014-08-05 at 15 06 18](https://cloud.githubusercontent.com/assets/3652195/4075831/75d1ea1e-2eb4-11e4-9c7a-e146397c7466.png)

Mobile - JavaScript:
![screen shot 2014-08-05 at 15 08 32](https://cloud.githubusercontent.com/assets/3652195/4075853/af92320e-2eb4-11e4-9f58-1da9b0e86538.png)

Mobile - Python:
![screen shot 2014-08-05 at 15 06 24](https://cloud.githubusercontent.com/assets/3652195/4075855/bb9e2332-2eb4-11e4-94ff-1c90fd941b12.png)




@moollaza I've looked into this, and it seems like this window.aceScriptLoaded is necessary, probably because of this snippet in ace.js:

`
(function(){window.require(["ace/ace"],function(e){e&&e.config.init();if(!window.ace)window.ace={};for(var t in e)if(e.hasOwnProperty(t))ace[t]=e[t]})})();if(window.aceScriptLoaded){window.aceScriptLoaded()}
`