Add Zarith 1.2.1.
Update alt-ergo to 0.95.2.