Remove unused and obsolete gtkhtml-zip.in