Added utility target tarhtml to tar and gzip the HTML files plus their

support (GIFS, icons, style sheets).