Use html5 document

This PR changes the default document type that Lively uses for world serialization. Instead of XHTML Lively will now store worlds into HTML documents.

In the current state a HTML5 doc is used for serialization and necessary stuff is added to it (e.g. world preview).

Yet to do: Make bootstrap from HTML docs work properly.