Python を利用してファイルを圧縮する