Rich text input widget

[bhch]

Add support for a rich text input.

Doesn't have to be a full-fledged editor. A few basic text formatting options should be enough.

Example:

{
    "type": "string",
    "widget": "richtextarea"
}