widget: Provide a way to copy the selection to clipboard as HTML

Currently, copying to HTML is disabled (#if 0) in the code, because
it will generate the potentially huge selection data in both text and
HTML formats.

Instead, provide API to tell vte which format to use.

https://bugzilla.gnome.org/show_bug.cgi?id=365121