Adds support for gzipped files

Provides basic fix for #2. It does basic detection of gzipped files through magic number of first byte of file.

I also noticed that some HTML content didn't show up correctly. It should be a different PR but it's just a minor tweak to HTML markup.