Update mathsat to 5.2.8.
Add picosat-951 since aiger-1.9.4 is not compatible with the latest version
of picosat but boolector is not compatible with picosat-951.
Boolector works fine with picosat-957.