Include code highlighting js in exported HTML (#72)

Add option to ExportHtmlDialog to include the code highlighting javascript
and style in the exported HTML file.

We now also use the HtmlPreviewGenerator to generate the HTML for the
export instead of changing the HTML source directly.

Resolves #72