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)




Could we set the theme to a dark theme when the user is using the dark DDG theme? I'm personally a fan of `monokai`. (This can be done by seeing if there's an element with `.dark-header`)