网上的nuXmv下载有点慢。上传一下已经下好的版本