fixes #132, #138. HTML plugin updated to remove legacy stuff. WYSIWYG editor now standard and automatic regular expression replacements de-activated. Also translating HTML is now easier with the old text filled in the new textarea and added possibibilty for the HTML source view in show/hide div.