add .html.gz support

[abgoyal]

.html.gz is much easier for users to work with, when using desktop or outernet_in_a_box.