Add Batteries Included.
Add Camomile.
Add oUnit.
Add Pomap.
Update yices to 1.0.39.