update the RPM SPEC of ats2 (ATS programming language); tweak contrib path, etc.