Removed unused CKEditor

Well, we are not using CKEditor already, so bye bye! I really hate the
times when you were with us, giving us so many bugs and errors to fix.