S32K 使用的 IDE S32DS Ubuntu18.04 环境搭建