Update yices to 2.2.2.