Updating: minorly improving the testing setup
Updating: minorly improving the testing setup
Updating: very minorly improving
Updating: testing on ATS2-contrib is added
Updating: very minorly improving
Updating: very minorly fixing
Updating: very minorly fixing
Updating: very minorly improving
Updating: minorly improving
Build ats-lang-anairiats-0.2.11 on appveyor
Merge branch 'master' into feature/support_cygwin_ci