5年来首个正式版:免费压缩软件 7-Zip 15.12 发布