配布する圧縮ファイルのサイズを従来の半分未満にした

これまではファイルを全く圧縮していなかったが、本日付の版からは適切に圧縮するようにした。これにより従来のファイルサイズの半分未満までファイルサイズが減少した。