Updated CKEditor to 4.2, fixes #1607