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)




@MariagraziaAlastra Please use this instead:

```javascript
nrj(DDG.get_asset_path('editor', 'ace.js'));
```

So that it will get the right asset.