Build utils/atsynmark
Updating: fixing pats2xhtml
Merge pull request #106 from master-q/feature/try_ci_atsynmark

Try to build utils/atsynmark on Travis-CI
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
updating wiki size
Merge pull request #108 from bbarker/patch-2

updating wiki size
Updating: stream-lining the building of ATS1
Updating: very minorly fixing
Updating: very minorly fixing
Updating: support NGC build for ATS1
Updating: support NGC build for ATS1
Updating: support NGC build for ATS1