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)




Hmm let's make this a little more clever, in case the user changes the theme after the editor has changed. We could probably use jQuery to listen for clicks on the theme buttons and if one is clicked, re-evaluate the theme for the editor