Update Yices to 1.0.38.
Add aiger 1.9.4.