Updating: libxml2 has been moved to ATS-Postiats-contrib
Updating: moving contrib/SMT/Z3 out to ATS-Postiats-contrib