Merge pull request #45 from bbarker/master

Mainly changing atsmake-pre to find contrib on my system
Updating: very minor.
Updating: improving atscntrb/libats-hwxi/cstream
Updating: improving libats/stringbuf
Updating: adding some ATS-learning files.
Updating: miscellaneous changes
Updating: improving libats-hwxi/cstream
Updating: improving libats-hwxi/cstream
Updating: adding doc for libats-hwxi/cstream
Updating: miscellaneous
Updating: adding libats/ATS1/funheap_binomial
Updating: adding libats/ATS1/funmset_listord
Updating: improving libats/ATS1
Updating: improving libats/ATS1/funmset_listord
Updating: for the release of ATS2-0.0.5
started workign on linset_union (listord)