Updating: minor addition.
Updating: fixing a serious glitch in trywith-expression compilation.
Updating: updating ATS-CMake.
Updating: adding list0_is_nil and list0_is_cons.
Updating: ATS-CMake.
Updating: ATS-CMake.
Updating: ATS-CMake.
Updating: fixing a glitch with prelude-exceptions.
Updating: fixing a glitch with prelude-exceptions.
Updating: minor change on atslangweb_resource.
Updating: changes due to special treatment for prelude=exceptions.
Updating: changes due to special treatment for prelude-exceptions.
Updating: minor fix.
Merged from hongwei's branch