Updated CKEditor to 4.0.1

Upgraded CKEditor to version 4, as far as I can see it doesn't have any impact concerning config and such.