ATS2-0.2.7

## ats2-postiats-0.2.7:

    This is the 30th release of ATS2, the successor of the
    ATS programming language. The compiler for ATS2 is given
    the name ATS/Positats, ATS2/Postiats or simply Postiats.

    The official website for ATS is:

    http://www.ats-lang.org

    ATS-Postiats is hosted at github:

    https://github.com/githwxi/ATS-Postiats

    Major releases of ATS2 are available at:

    https://sourceforge.net/projects/ats2-lang/

    Major releases of external packages for ATS2 are available at:

    https://sourceforge.net/projects/ats2-lang-contrib/

    Here is a list of major additions and changes since the last release:

    1. Adding some basic functions into libats/ML/stdlib
    2. Atexting is functioning; it has been used to syntax-hilite ATS code
       in docbook.
    3. Refactoring libatsynmark to make it directly dependent on libatsopt
    4. Automatically building libatsopt and libatsynmark when testing (travis-ci)
    5. Automatically building INT2PROGINATS and ATS2TUTORIAL (thanks to Kiwamu Okabe)
    6. Fixing bug-2016-05-13 (reported by paul7)
       See BUGs/bug-2016-05-13.dats (it involves empty list of matching d2explst)