Add Export HTML

[yuj]

Export HTML would be useful, like this:

[domoritz]

I like this idea. Would you be able to send a pull request?

[yuj]

@domoritz yes, I've sent PR #1087