Changing HTML editor from jwysiwyg to redactor #815