ckeditor

Now using it in production, moving to master if that's okay with you.

* added source highlighting in html code view
* removed auto expanding size, because it had a bug with full screen
* put back iframe because the div doesn't inherit styles properly, for some reason

Still to-do: 
* re-implement the tokens feature (does anyone use it?)