Libats depends on libgmp, so the link order should be specified directly.
Merge branch 'cygwin-compat' of https://github.com/ashalkhakov/ATS-Postiats
Updating: very minorly improving documentation.