Updating: miscellaneous
Updating: supporting lazy2cloref
Updating: putting in safety guard for using flat arrays in records
Updating: reorganizing a bit
Updating: reorganizing a bit
Updating: minorly improving
Updating: miscellaneous
Updating: reorganizing
Updating: working on projects/ats2langweb
Updating: preparing for the release of ATS2-0.1.3
Updating: setting up atslangweb
Merge remote-tracking branch 'refs/remotes/upstream/master'
Reorganizing: libatscc2cil -> libatscc/libatscc2cil