Experimental tinymce support

A tinymce plugin will convert tei to html prior to rendering and convert it back
when saving text to the textarea (analogously to bbcode plugin)

The conversion alg for html->tei has been revised