Upgrade to CKEditor 4.0.1

Also drop redundant static files in JQuery UI.