Add post-generation compression of html files to create .gz equivalents

Used to speed up serving the files with properly configured server