Add global option to generate gzipped copies of HTML files