Update minisat2 to 2.2.0.
Add cbmc.