Replace minisat to 2.2.0.

Also, now it tries to use system-installed minisat if any.