upgrade CKEditor to 4.2, to fix https://drupal.org/node/1969076