add the RPM SPEC of ATS programming language