php-horde-Horde-Editor: use bundled ckeditor, not system one (for now)