added TeXZilla CKE-Plugin