core (XMLUI): new XHTMLBox widget: XHTMLBox is a textbox specialised in XHTML, i.e. it renders the XHTML when in read_only, and it allows to edit it. The XHTML is cleaned by default, the cleaning is done by Text Syntaxes plugin (actually there is a cleaning method which can be set by any plugin, but Text Syntaxes is the one which does it).

# XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
# TODO: remove this when changes are merged in Wokkel
from sat_tmp.wokkel import install
install()