nixpkgs: yices 2.2.1

Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit da0c8f33efe1eb1ae9f47f5a3fdf6f4d2c461aa9)