Virtual DOM I: render a vnode tree to HTML

Turn a virtual DOM tree into an HTML string safely: the server-rendering half of a UI library.