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