ATS2-0.2.5

## ats2-postiats-0.2.5:

    This is the 28th release of ATS2, the successor of the ATS
    (currently referred to as ATS1) 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. With libatscc2js(JS), Atscc2js can now run entirely inside the
       browser.
    2. Patsopt(JS) and Atscc2js(JS) have been combined to allow one to
       try ATS entirely in one's browser (running only client-side JS).
    3. Treating the following form as a value: let ... in aValue end
       (where aValue is assumed to be a value).
    4. WebWorker-based support for session types in libatscc2js/Worker/channel
    5. Fixing the handling of decarg of a function template declaration
    6. Fixing a bug in effect-tracking of assignment: assigning a proof term
       should not genereate any effect. Please see: d2exp_trup_assgn:D2LVALvar_mut
    7. Adding libats/ML/gvalue
    8. Adding libats/ML/dynarray
    9. Adding an ATS2TUTORIAL-chapter on boxed tuples and records.
    10. Adding an article in EFFECTIVATS on encoding propositional logic
    11. Removing the once planned support for flattened references (ref@)