Vertically integrate web export.

The NodeLibrary can export a directory containing a HTML file and the
required JavaScript files.

In addition, the application has a "File > Export to Web" menu item
that calls the export function.

The NodeBox nodes are not ported to JavaScript yet so exporting
standard files doesn't work yet.