Linux下模型化检测工具spin的安装